sig
  type t
  val intersects :
    Lattice_type.With_Intersects.t -> Lattice_type.With_Intersects.t -> bool
end