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