From d21900836f89b2bf9cd55ff1708a4619c8b89656 Mon Sep 17 00:00:00 2001 From: polwex Date: Mon, 20 Oct 2025 13:13:39 +0700 Subject: neoinit --- ocaml/lib/noun.mli | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 ocaml/lib/noun.mli (limited to 'ocaml/lib/noun.mli') diff --git a/ocaml/lib/noun.mli b/ocaml/lib/noun.mli new file mode 100644 index 0000000..3cec58d --- /dev/null +++ b/ocaml/lib/noun.mli @@ -0,0 +1,23 @@ +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 -- cgit v1.2.3