sig
  type param =
      NotUsed
    | ByAddr
    | ByValue
    | ByShift
    | ByRef
    | InContext
    | InArray
  val pp_param : Format.formatter -> Separation.param -> unit
  type partition
  type clause
  val empty : Separation.partition
  val set :
    Cil_types.varinfo ->
    Separation.param -> Separation.partition -> Separation.partition
  val requires : Separation.partition -> Separation.clause
  val is_true : Separation.clause -> bool
  val filter : Separation.clause list -> Separation.clause list
  val pp_clause : Format.formatter -> Separation.clause -> unit
end