diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-19 10:39:43 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-19 10:39:43 -0600 |
| commit | 951d2a0e821d9eecfcb3a60f1f4411cc4aa3a3c5 (patch) | |
| tree | 580f9595bc8ffbfc963bff6175a54520f3ee1a28 /discocaml/arraylist.mli | |
| parent | 729ddbe62a25675d5dcd993b6e42e26e4cd04c74 (diff) | |
Flattens the AST.
Diffstat (limited to 'discocaml/arraylist.mli')
| -rw-r--r-- | discocaml/arraylist.mli | 9 |
1 files changed, 9 insertions, 0 deletions
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 |