Module type LogtkInterfaces.EQ

module type EQ = sig .. end

type t 
val eq : t -> t -> bool