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
type zone =
Var of Cil_types.varinfo
| Ptr of Cil_types.varinfo
| Arr of Cil_types.varinfo
type clause =
Valid of MemoryContext.zone
| Separated of MemoryContext.zone list list
val requires : MemoryContext.partition -> MemoryContext.clause list
val pp_zone : Stdlib.Format.formatter -> MemoryContext.zone -> unit
val pp_clause : Stdlib.Format.formatter -> MemoryContext.clause -> unit
end