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