5 (* growing array ? initialise with None,
6 * and generate exception when not defined or have an arraydefault
7 * update: can use dynArray ?
10 (* !!take care!!, this is not a pure data structure *)
11 class ['a
] oarray n el
=
13 inherit ['a
] osequence
15 val data
= Array.make n el
17 method empty
= raise Todo
23 Array.iteri
(curry f
) data
24 method view
= raise Todo
29 method null
= raise Todo
30 method nth
= raise Todo
31 method mem
= raise Todo
32 method last
= raise Todo
33 method first
= raise Todo
34 method delkey
= raise Todo
36 method keys
= raise Todo
38 method del
= raise Todo
39 method fromlist
= raise Todo
43 (* method create: int -> 'a -> 'o =
46 (* method put: make more explicit the fact that array do side effect *)