blob: ffc867ce19edf798ea9c33f94a0da0aa426c99bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Extvalues: module {
PATH: con "/dis/alphabet/extvalues.dis";
Values: adt[V] {
lock: chan of int;
v: array of (int, V);
freeids: list of int;
new: fn(): ref Values[V];
add: fn(vals: self ref Values, v: V): int;
inc: fn(vals: self ref Values, id: int);
del: fn(vals: self ref Values, id: int);
};
};
|
