Module Fold_map


module Fold_map: sig .. end

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
module Cons_sexpable: 
functor (T : Core.Std.Sexpable) -> Fold_sexpable with type t = T.sexpable list and type data = T.sexpable module
module Multiply: Fold_sexpable  with type t = int and type data = int
module
module Add: Fold_sexpable  with type t = int and type data = int

module
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
module Make_sexpable: 
functor (Fold_sexpable : Fold_sexpable) -> Fold_map_sexpable