module Fold_map: sig
.. end
module type Fold = sig
.. end
module type Fold_sexpable = sig
.. end
module Cons: functor (
T
:
sig
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: