sig
val
oneret :
Cil_types
.fundec
->
unit
val
feature :
Cil
.featureDescr
end