sig
val
fold : (
'
a
->
'
b
->
'
a)
->
'
a
->
'
b
Stdlib
.
Stack
.t
->
'
a
end