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