val is_empty : 'a t -> boolval mem : key -> 'a t -> boolval maybe_find : key -> 'a t -> 'a optionval find : key -> 'a t -> 'aval add : key -> 'a -> 'a t -> 'a tval remove : key -> 'a t -> 'a tval fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'bval bindings : 'a t -> (key * 'a) listval cardinal : 'a t -> int