module Make : functor (Structure : Structure.S) -> sig
#
val sfold0 : ('a
-> 'b
-> 'b)
-> 'b
-> (_, 'a, 'b)
Structure.fold
#
val sfold1 : ('a
-> 'b
-> 'b)
-> 'b
-> (_, 'a, 'b)
Structure.fold
#
val sfold0sep : ('a
-> 'b
-> 'b)
-> 'b
-> (_, 'a, 'b)
Structure.foldsep
end