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