Module Kernel_ast.Functions

module Functions: sig .. end

val array : Cil_types.kernel_function States.array