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