sig type t val compare : BatOrd.Comp.t BatOrd.comp end