sig   type key   type 'a t   val empty : 'a Kwlookup.S.t   val is_empty : 'a Kwlookup.S.t -> bool   val cardinal : 'a Kwlookup.S.t -> int   val mem : Kwlookup.S.key -> 'a Kwlookup.S.t -> bool   val find : Kwlookup.S.key -> 'a Kwlookup.S.t -> 'a   val singleton : Kwlookup.S.key -> 'a -> 'a Kwlookup.S.t   val add : Kwlookup.S.key -> 'a -> 'a Kwlookup.S.t -> 'a Kwlookup.S.t   val remove : Kwlookup.S.key -> 'a Kwlookup.S.t -> 'a Kwlookup.S.t   val fold :     (Kwlookup.S.key -> 'a -> 'b -> 'b) -> 'a Kwlookup.S.t -> 'b -> 'b end