Parameter WFactsOn.E

type t
val eq_dec : t -> t -> bool