blob: 02151a5b942546c130b2fe09a4a84a80beda09fb (
plain)
1
2
3
4
5
6
7
|
/* Nats are represented as unstructured blocks with tag Nat_tag. */
#define Nat_tag Abstract_tag /* works OK with equal because no other
object uses that tag yet. */
#define Bignum_val(nat) ((BigNum) nat)
|