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.
|