Frama-C API - _
include Parameter_sig.Input_collection
include Parameter_sig.Input_with_arg
include Parameter_sig.Input
val dependencies : State.t list
val default : E.t list