Module IntMake.E

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