module Dup_functions: sig .. end
sig
end
val dup : unit -> Project.t
unit -> Project.t
val is_generated : Cil_types.kernel_function -> bool
Cil_types.kernel_function -> bool