(* $Id: ostack.mli,v 1.6 2002/08/04 10:32:54 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
