Commit | Line | Data |
---|---|---|
34e49164 C |
1 | (* !!take care!!, this is not a pure data structure *) |
2 | ||
3 | class ['a] oarray : int -> 'a -> | |
4 | object ('o) | |
5 | inherit ['a] Osequence.osequence | |
6 | ||
7 | (* ocollection concrete instantiation of virtual methods *) | |
8 | method empty : 'o | |
9 | method add : (int * 'a) -> 'o | |
10 | ||
11 | method iter : (int * 'a -> unit) -> unit | |
12 | method view : (int * 'a, 'o) Ocollection.view | |
13 | ||
14 | method del : (int * 'a) -> 'o | |
15 | method mem : int * 'a -> bool | |
16 | method null : bool | |
17 | ||
18 | ||
19 | (* oassoc concrete instantiation of virtual methods *) | |
20 | method assoc : int -> 'a | |
21 | method delkey : int -> 'o | |
22 | ||
91eba41f C |
23 | method keys: int list |
24 | ||
34e49164 C |
25 | (* osequence concrete instantiation of virtual methods *) |
26 | method first : 'a | |
27 | method last : 'a | |
28 | method nth : int -> 'a | |
29 | ||
30 | end |