Module Wp.RegionAccess

val cc_read : Region.map -> Frama_c_kernel.Cil_types.exp -> unit
val cc_fundec : Region.map -> Frama_c_kernel.Cil_types.fundec -> unit
val cc_term : Region.map -> Frama_c_kernel.Cil_types.term -> unit
val cc_spec : Region.map -> Frama_c_kernel.Cil_types.spec -> unit
val cc_region : Region.map -> RegionAnnot.region_spec -> unit