From 951d2a0e821d9eecfcb3a60f1f4411cc4aa3a3c5 Mon Sep 17 00:00:00 2001 From: Nathan Ringo Date: Fri, 19 Jan 2024 10:39:43 -0600 Subject: Flattens the AST. --- discocaml/arraylist.mli | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 discocaml/arraylist.mli (limited to 'discocaml/arraylist.mli') diff --git a/discocaml/arraylist.mli b/discocaml/arraylist.mli new file mode 100644 index 0000000..e42d194 --- /dev/null +++ b/discocaml/arraylist.mli @@ -0,0 +1,9 @@ +type 'a t + +val make : int -> 'a -> 'a t +val length : 'a t -> int +val get : 'a t -> int -> 'a +val set : 'a t -> int -> 'a -> unit +val push : 'a t -> 'a -> unit +val to_array : 'a t -> 'a array +val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit -- cgit v1.2.3