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