module Info: Filter.F(BoolInfo)
Filter.F
(
BoolInfo
)
val build_cil_file : string -> Info.proj -> Project.t
string -> Info.proj -> Project.t