Up
–
frama-c
»
Frama_c_kernel
»
Lattice_type
» With_Narrow
Module type
Lattice_type.With_Narrow
type
t
val
narrow :
t
->
t
->
t
over-approximation of intersection