sig type t val equal : Qstack.DATA.t -> Qstack.DATA.t -> bool end