sig
  type t
  val narrow :
    Lattice_type.With_Narrow.t ->
    Lattice_type.With_Narrow.t -> Lattice_type.With_Narrow.t
end