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.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'discocaml/arraylist.ml') diff --git a/discocaml/arraylist.ml b/discocaml/arraylist.ml index 110cd17..8979349 100644 --- a/discocaml/arraylist.ml +++ b/discocaml/arraylist.ml @@ -56,6 +56,7 @@ let push arraylist x = arraylist.len <- arraylist.len + 1 let to_array { array; len; _ } = Array.sub array 0 len +let to_seq arraylist = Array.to_seq (to_array arraylist) module Array_for_pp = struct type 'a t = 'a array [@@deriving show { with_path = false }] -- cgit v1.2.3