summaryrefslogtreecommitdiff
path: root/libstd/htab.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-01-08 14:01:58 -0500
committerOri Bernstein <ori@eigenstate.org>2014-01-08 14:01:58 -0500
commitd5b8eb377b49496a6b000104cfa415f90f1a9548 (patch)
treee061db2afcfc48a9c86f48192013324bc71c4f18 /libstd/htab.myr
parent6fd59842dc48fd8a4dafe580c79cae37c01ab675 (diff)
downloadmc-d5b8eb377b49496a6b000104cfa415f90f1a9548.tar.gz
Export 'htdel' function
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 4016b1c..1370ef7 100644
--- a/libstd/htab.myr
+++ b/libstd/htab.myr
@@ -19,6 +19,7 @@ pkg std =
generic mkht : (h : (k : @k -> uint32), eq : (a : @k, b : @k -> bool) -> htab(@k, @v)#)
generic htfree : (ht : htab(@k, @v)# -> void)
generic htput : (ht : htab(@k, @v)#, k : @k, v : @v -> void)
+ generic htdel : (ht : htab(@k, @v)#, k : @k -> 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[:])