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