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