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