module MakeFreeFold (FM : FREE_MONAD) (Fold : FOLDABLE with type 'a t = 'a FM.F.t) : FOLDABLE with type 'a t = 'a FM.t
(
FM
:
FREE_MONAD
)
Fold
FOLDABLE
with type 'a t = 'a FM.F.t
with type 'a t = 'a FM.t
FOLDABLE with type 'a t = 'a FM.F.t
type 'a t
'a
val to_seq : 'a t -> 'a CCCat.sequence
'a t -> 'a CCCat.sequence