handl

Prim ​

prim.add ​

Signature: prim.add : (Int * Int) -> Int

prim.alloc ​

Signature: prim.alloc : Int -> List a

prim.compare ​

Signature: prim.compare : (a * b) -> Int

prim.or ​

Signature: prim.or : (Int * Int) -> Int