Parameter Quasireflexive_Eq.1-E

include Bastet.Interface.EQ
type t
val eq : t -> t -> bool