Parameter Ord.T

type t
val ord : t BatOrd.ord