summaryrefslogtreecommitdiff
path: root/libstd/htab.myr
diff options
context:
space:
mode:
Diffstat (limited to 'libstd/htab.myr')
-rw-r--r--libstd/htab.myr1
1 files changed, 1 insertions, 0 deletions
diff --git a/libstd/htab.myr b/libstd/htab.myr
index df0221f..4016b1c 100644
--- a/libstd/htab.myr
+++ b/libstd/htab.myr
@@ -20,6 +20,7 @@ pkg std =
generic htfree : (ht : htab(@k, @v)# -> void)
generic htput : (ht : htab(@k, @v)#, k : @k, v : @v -> void)
generic htget : (ht : htab(@k, @v)#, k : @k -> option(@v))
+ generic hthas : (ht : htab(@k, @v)#, k : @k -> bool)
generic htkeys : (ht : htab(@k, @v)# -> @k[:])
;;