Parameter Ord.1-T

type t
val ord : t BatOrd.ord