Index of values


A
add [Hmap.S]
add k v m is m with k bound to v.
add [Hmap]
add k v m is m with k bound to v.
any_binding [Hmap.S]
any_binding m is a binding of m (if not empty).
any_binding [Hmap]
any_binding m is a binding of m (if not empty).

C
cardinal [Hmap.S]
cardinal m is the number of bindings in m.
cardinal [Hmap]
cardinal m is the number of bindings in m.
compare [Hmap.S.Key]
compare k k' is a total order on keys compatible with Hmap.S.Key.equal.
compare [Hmap.Key]
compare k k' is a total order on keys compatible with Hmap.Key.equal.
create [Hmap.S.Key]
create i is a new key with information i.
create [Hmap.Key]
create () is a new key.

E
empty [Hmap.S]
empty is the empty map.
empty [Hmap]
empty is the empty map.
equal [Hmap.S.Key]
equal k k' is true iff k and k' are the same key.
equal [Hmap.Key]
equal k k' is true iff k and k' are the same key.
exists [Hmap.S]
exists p m is true iff there exists a bindings of m that satisfies p.
exists [Hmap]
exists p m is true iff there exists a bindings of m that satisfies p.

F
filter [Hmap.S]
filter p m are the bindings of m that satisfy p.
filter [Hmap]
filter p m are the bindings of m that satisfy p.
find [Hmap.S]
find k m is the value of k's binding in m, if any.
find [Hmap]
find k m is the value of k's binding in m, if any.
fold [Hmap.S]
fold f m acc folds over the bindings of m with f, starting with acc
fold [Hmap]
fold f m acc folds over the bindings of m with f, starting with acc
for_all [Hmap.S]
for_all p m is true iff all bindings of m satisfy p.
for_all [Hmap]
for_all p m is true iff all bindings of m satisfy p.

G
get [Hmap.S]
get k m is the value of k's binding in m.
get [Hmap]
get k m is the value of k's binding in m.
get_any_binding [Hmap.S]
get_any_binding m is a binding of m.
get_any_binding [Hmap]
get_any_binding m is a binding of m.

H
hide_type [Hmap.S.Key]
hide_type k is an existential key for k.
hide_type [Hmap.Key]
hide_type k is an existential key for k.

I
info [Hmap.S.Key]
info k is k's information.
is_empty [Hmap.S]
is_empty m is true iff m is empty.
is_empty [Hmap]
is_empty m is true iff m is empty.
iter [Hmap.S]
iter f m applies f to all bindings of m.
iter [Hmap]
iter f m applies f to all bindings of m.

M
mem [Hmap.S]
mem k m is true iff k is bound in m.
mem [Hmap]
mem k m is true iff k is bound in m.

R
rem [Hmap.S]
rem k m is m with k unbound.
rem [Hmap]
rem k m is m with k unbound.

S
singleton [Hmap.S]
singleton k v is add k v empty.
singleton [Hmap]
singleton k v is add k v empty.