Up
–
frama-c
»
Frama_c_kernel
»
Project_skeleton
»
Make_setter
» 1-X
Parameter
Make_setter.1-X
val
mem :
string
->
bool