sig
val
datatype : string
val
param :
Cil_types
.varinfo
->
MemVar
.param
end