diff options
Diffstat (limited to 'discocaml/arraylist.ml')
| -rw-r--r-- | discocaml/arraylist.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/discocaml/arraylist.ml b/discocaml/arraylist.ml index d1a9ecd..110cd17 100644 --- a/discocaml/arraylist.ml +++ b/discocaml/arraylist.ml @@ -28,6 +28,7 @@ let%test _ = next_pow2 12345 = 16384 let make len dummy = { array = Array.make (max (next_pow2 len) 4) dummy; dummy; len } +let copy { array; dummy; len } = { array = Array.copy array; dummy; len } let length { len; _ } = len let get { array; len; _ } i = |