Parameter WPropertiesOn.E

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