Module Server.Kernel_ast.Functions

module Functions: sig .. end

val array : Cil_types.kernel_function Server.States.array