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