diff options
Diffstat (limited to 'module/lists.m')
| -rw-r--r-- | module/lists.m | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/module/lists.m b/module/lists.m index 242c9bf6..5c0678ff 100644 --- a/module/lists.m +++ b/module/lists.m @@ -1,5 +1,6 @@ Lists: module { + PATH: con "/dis/lib/lists.dis"; map: fn[T](f: ref fn(x: T): T, l: list of T): list of T; allsat: fn[T](p: ref fn(x: T): int, l: list of T): int; anysat: fn[T](p: ref fn(x: T): int, l: list of T): int; |