sig
type region =
Var of Cil_types.varinfo
| Ptr of Cil_types.varinfo
| Arr of Cil_types.varinfo
val pp_region : Format.formatter -> Separation.region -> unit
type clause = {
mutex : Separation.region list;
other : Separation.region list;
}
val is_true : Separation.clause -> bool
val requires : Separation.clause list -> Separation.clause list
val pp_clause : Format.formatter -> Separation.clause -> unit
end