From 00d3ea6b17b73594c95318adf266802b02f65abb Mon Sep 17 00:00:00 2001 From: Nathan Ringo Date: Wed, 24 Jan 2024 10:52:13 -0600 Subject: Colors for overlapping binders. --- discocaml/arraylist.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'discocaml/arraylist.mli') diff --git a/discocaml/arraylist.mli b/discocaml/arraylist.mli index 6b40ce0..cf42000 100644 --- a/discocaml/arraylist.mli +++ b/discocaml/arraylist.mli @@ -7,4 +7,5 @@ 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 to_seq : 'a t -> 'a Seq.t val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit -- cgit v1.2.3