Parameter Raw.X

type t
val compare : t -> t -> t OrderedType.coq_Compare
val eq_dec : t -> t -> bool