Frama-C API - Input_collection
Minimal signature for collections of custom datatype
include Input_with_arg
include Input
val dependencies : State.t list
Input_collection
Minimal signature for collections of custom datatype
include Input_with_arg
include Input
val dependencies : State.t list