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