module F: functor (Info : RemoveInfo) -> sig .. end
functor (
Info
:
RemoveInfo
) ->
sig
end
Given a module that match the module type described above, F.build_cil_file initializes a new project containing the slices
F.build_cil_file
val build_cil_file : ?last:bool -> string -> Info.proj -> Project.t
?last:bool -> string -> Info.proj -> Project.t