sig type t val ord : BatOrd.Ord.t BatOrd.ord end