sig
type
'
a t
val
fold :
'
a
Container
.
T
.t
->
init:
'
b
->
f:(
'
b
->
'
a
->
'
b)
->
'
b
end