Module Std.Fold_map


module Fold_map: Fold_map

module type Fold = sig .. end
module type Fold_sexpable = sig .. end
module Cons: 
functor (T : sig
type t 
end) -> Fold with type t = T.t list and type data = T.t
module Cons_sexpable: 
functor (T : Core.Std.Sexpable) -> Fold_sexpable with type t = T.sexpable list and type data = T.sexpable
module Multiply: Fold_sexpable  with type t = int and type data = int
module Add: Fold_sexpable  with type t = int and type data = int
module type Fold_map = sig .. end
module type Fold_map_sexpable = sig .. end
module Make: 
functor (Fold : Fold) -> Fold_map with type in_value = Fold.data and type out_value = Fold.t
module Make_sexpable: 
functor (Fold_sexpable : Fold_sexpable) -> Fold_map_sexpable with type in_value = Fold_sexpable.data and type out_value = Fold_sexpable.t