diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-24 10:52:13 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-24 10:52:13 -0600 |
| commit | 00d3ea6b17b73594c95318adf266802b02f65abb (patch) | |
| tree | 37d5053d0a5ba4d06a1fc89c8f70945445c0e28b /discocaml/arraylist.mli | |
| parent | 6fb1c813dbe2227dab3faac3fc405260be185eca (diff) | |
Colors for overlapping binders.
Diffstat (limited to 'discocaml/arraylist.mli')
| -rw-r--r-- | discocaml/arraylist.mli | 1 |
1 files changed, 1 insertions, 0 deletions
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 |