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