Frama-C API - MemoryContext
val pp_param : Stdlib.Format.formatter -> param -> unitval empty : partitionval set : Frama_c_kernel.Cil_types.varinfo -> param -> partition -> partitionval compute : string -> (Frama_c_kernel.Cil_types.kernel_function -> partition) -> unitval add_behavior : Frama_c_kernel.Cil_types.kernel_function -> string -> (Frama_c_kernel.Cil_types.kernel_function -> partition) -> unitval warn : Frama_c_kernel.Cil_types.kernel_function -> string -> (Frama_c_kernel.Cil_types.kernel_function -> partition) -> unit