functor (Fold_sexpable : Fold_sexpable->
  sig
    type in_value = Fold_sexpable.data
    type out_value = Fold_sexpable.t
    type 'a t
    val empty : 'a t
    val singleton : '-> in_value -> 'a t
    val is_empty : 'a t -> bool
    val cardinal : 'a t -> int
    val add : key:'-> data:in_value -> 'a t -> 'a t
    val find : 'a t -> '-> out_value
    val remove : 'a t -> '-> 'a t
    val set : key:'-> data:out_value -> 'a t -> 'a t
    val mem : 'a t -> '-> bool
    val iter : f:(key:'-> data:out_value -> unit) -> 'a t -> unit
    val fold :
      f:(key:'-> data:out_value -> '-> 'b) -> 'a t -> init:'-> 'b
    val filter : f:(key:'-> data:out_value -> bool) -> 'a t -> 'a t
    val keys : 'a t -> 'a list
    val data : 'a t -> out_value list
    val to_alist : 'a t -> ('a * out_value) list
    val of_list : ('a * in_value) list -> 'a t
    val for_all : f:(out_value -> bool) -> 'a t -> bool
    val exists : f:(out_value -> bool) -> 'a t -> bool
    val to_map : 'a t -> ('a, out_value) Core.Std.Map.t
    val of_map : ('a, out_value) Core.Std.Map.t -> 'a t
    type 'a sexpable = 'a t
    val sexp_of_t : ('-> Sexplib.Sexp.t) -> 'a sexpable -> Sexplib.Sexp.t
    val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a sexpable
  end