Previous
Up
Next
Module type
Lattice_type.With_Narrow
module type
With_Narrow =
sig
..
end
type
t
val
narrow
:
t
->
t
->
t
over-approximation of intersection