sig
val
build_cil_file : string
->
BoolInfo
.proj
->
Project
.t
end