diff options
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 |