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