module F: functor (Info : RemoveInfo) -> sig .. end
functor (
Info
:
RemoveInfo
) ->
sig
end
F.build_cil_file
val build_cil_file : string -> Info.proj -> Project.t
string -> Info.proj -> Project.t