Frama-C API - _
include Parameter_sig.Input_with_arg
include Parameter_sig.Input
val existence : Fc_Filepath.existence
_
include Parameter_sig.Input_with_arg
include Parameter_sig.Input
val existence : Fc_Filepath.existence