Up
–
frama-c
»
Frama_c_kernel
»
Map_lattice
»
Make_Map_Lattice
»
With_Cardinality
» 1-K
Parameter
With_Cardinality.1-K
val
is_summary :
Key.t
->
bool