Module type Lattice_type.With_Intersects

module type With_Intersects = sig .. end

type t 
val intersects : t -> t -> bool