Module type Interfaces.EQ

module type EQ = sig .. end

type t 

val equal : t -> t -> bool