module type With_Narrow = sig .. end
sig
end
type t
val narrow : t -> t -> t
t -> t -> t
over-approximation of intersection