diff options
Diffstat (limited to 'module/alphabet/extvalues.m')
| -rw-r--r-- | module/alphabet/extvalues.m | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/module/alphabet/extvalues.m b/module/alphabet/extvalues.m new file mode 100644 index 00000000..ffc867ce --- /dev/null +++ b/module/alphabet/extvalues.m @@ -0,0 +1,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); + }; +}; |