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