sig val top : 'Stack.t -> 'a option val pop : 'Stack.t -> 'a option end