Parameter EqOrd.1-Ord

type t
val ord : t ord