Frama-C API - _
include Parameter_sig.Input_with_arg
include Parameter_sig.Input
val default : V.t list Cil_datatype.Kf.Map.t
_
include Parameter_sig.Input_with_arg
include Parameter_sig.Input
val default : V.t list Cil_datatype.Kf.Map.t