From a84e462b596c24d2562d766ceb019761085390c5 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Fri, 19 Jan 2024 19:37:08 -0600
Subject: Use GADTs for prims, actual redex finding.

---
 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 e42d194..6b40ce0 100644
--- a/discocaml/arraylist.mli
+++ b/discocaml/arraylist.mli
@@ -1,6 +1,7 @@
 type 'a t
 
 val make : int -> 'a -> 'a t
+val copy : 'a t -> 'a t
 val length : 'a t -> int
 val get : 'a t -> int -> 'a
 val set : 'a t -> int -> 'a -> unit
-- 
cgit v1.2.3