Parameter InjectOrderedType.I

type t
val encode : t -> U.t