module Clone: sig .. end
sig
end
val clone_defined_kernel_function : Cil_types.kernel_function -> Cil_types.kernel_function
Cil_types.kernel_function -> Cil_types.kernel_function