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