Module type LogtkCache.EQ

module type EQ = sig .. end

type t 
val equal : t -> t -> bool