type noun =
  | Atom of Z.t
  | Cell of noun * noun

exception Exit

val atom : Z.t -> noun
val atom_of_int : int -> noun
val atom_of_string : string -> noun
val cell : noun -> noun -> noun

val zero : noun
val one : noun

val is_atom : noun -> bool
val is_cell : noun -> bool
val equal : noun -> noun -> bool

val slot : Z.t -> noun -> noun
val inc : noun -> noun
val head : noun -> noun
val tail : noun -> noun
val to_list : noun -> noun list