functor (Stack : Stack_intf.S) ->
  sig
    type 'a t = 'a Stack.t
    val invariant : 'a Invariant_intf.inv -> 'a t Invariant_intf.inv
    val mem : ?equal:('a -> 'a -> bool) -> 'a t -> 'a -> bool
    val length : 'a t -> int
    val is_empty : 'a t -> bool
    val iter : 'a t -> f:('a -> unit) -> unit
    val fold : 'a t -> init:'accum -> f:('accum -> 'a -> 'accum) -> 'accum
    val exists : 'a t -> f:('a -> bool) -> bool
    val for_all : 'a t -> f:('a -> bool) -> bool
    val count : 'a t -> f:('a -> bool) -> int
    val find : 'a t -> f:('a -> bool) -> 'a option
    val find_map : 'a t -> f:('a -> 'b option) -> 'b option
    val to_list : 'a t -> 'a list
    val to_array : 'a t -> 'a array
    val of_list : 'a list -> 'a t
    val create : unit -> 'a t
    val push : 'a t -> 'a -> unit
    val pop : 'a t -> 'a option
    val pop_exn : 'a t -> 'a
    val top : 'a t -> 'a option
    val top_exn : 'a t -> 'a
    val clear : 'a t -> unit
    val copy : 'a t -> 'a t
    val until_empty : 'a t -> ('a -> unit) -> unit
    val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
    val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
    val bin_t : 'a Bin_prot.Type_class.t -> 'a t Bin_prot.Type_class.t
    val bin_read_t : 'a Bin_prot.Read.reader -> 'a t Bin_prot.Read.reader
    val __bin_read_t__ :
      'a Bin_prot.Read.reader -> (int -> 'a t) Bin_prot.Read.reader
    val bin_reader_t :
      'a Bin_prot.Type_class.reader -> 'a t Bin_prot.Type_class.reader
    val bin_size_t : 'a Bin_prot.Size.sizer -> 'a t Bin_prot.Size.sizer
    val bin_write_t : 'a Bin_prot.Write.writer -> 'a t Bin_prot.Write.writer
    val bin_writer_t :
      'a Bin_prot.Type_class.writer -> 'a t Bin_prot.Type_class.writer
  end