diff options
author | Ori Bernstein <ori@eigenstate.org> | 2014-01-08 14:01:58 -0500 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2014-01-08 14:01:58 -0500 |
commit | d5b8eb377b49496a6b000104cfa415f90f1a9548 (patch) | |
tree | e061db2afcfc48a9c86f48192013324bc71c4f18 /libstd/htab.myr | |
parent | 6fd59842dc48fd8a4dafe580c79cae37c01ab675 (diff) | |
download | mc-d5b8eb377b49496a6b000104cfa415f90f1a9548.tar.gz |
Export 'htdel' function
Diffstat (limited to 'libstd/htab.myr')
-rw-r--r-- | libstd/htab.myr | 1 |
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[:]) |