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