sig type t val equals : Setoid.Setoid.t -> Setoid.Setoid.t -> bool end