(* $Id: ostack.mli.txt,v 1.2 2005/02/17 07:41:27 garrigue Exp $ *)

exception Empty

class ['a] c : unit -> object ('b)
  val mutable s : 'a list
  method push : 'a -> unit
  method pop : 'a
  method top : 'a
  method clear : unit
  method copy : 'b
  method is_empty : bool
  method length : int
  method iter : f:('a -> unit) -> unit
  method contents : 'a list
end