diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-19 19:37:08 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-19 19:37:08 -0600 |
| commit | a84e462b596c24d2562d766ceb019761085390c5 (patch) | |
| tree | 51a87e24426a5ad9d94bab104e21d3d3ecbbb9f1 /discocaml/arraylist.mli | |
| parent | 401bc1c5485e26329598d59a140e51f70f58857c (diff) | |
Use GADTs for prims, actual redex finding.
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 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 |