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 .
