ref: 254b07675e1a5348f2a8723f55e6b5b1b18a4721
dir: purgatorio/module/alphabet/extvalues.m
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); }; };