Module Wp.MemoryContext

type validity =
| Valid
| Nullable
type param =
| NotUsed
| ByAddr
| ByValue
| ByShift
| ByRef
| InContext of validity
| InArray of validity
val pp_param : Stdlib.Format.formatter -> param -> unit
type partition
val empty : partition
val compute : string -> ( Frama_c_kernel.Cil_types.kernel_function -> partition ) -> unit