Module Wp.MemoryContext

module MemoryContext: sig .. end

type param = 
| NotUsed
| ByAddr
| ByValue
| ByShift
| ByRef
| InContext
| InArray
val pp_param : Stdlib.Format.formatter -> param -> unit
type partition 
val empty : partition
val set : Cil_types.varinfo ->
param ->
partition -> partition
val compute : string -> (Cil_types.kernel_function -> partition) -> unit
val add_behavior : Cil_types.kernel_function ->
string -> (Cil_types.kernel_function -> partition) -> unit
val warn : Cil_types.kernel_function ->
string -> (Cil_types.kernel_function -> partition) -> unit