module Region: sig
.. end
Paths
Paths
type
path = offset list
type
offset =
val access : Lang.F.term -> path -> Lang.F.term
val update : Lang.F.term -> path -> Lang.F.term -> Lang.F.term
Regions
type
rpath = roffset list
type
roffset =
type
region
val empty : region
val full : region
val path : path -> region
Empty, but Full for the path
val rpath : rpath -> region
Empty, but Full for the r-paths
val merge : region -> region -> region
val disjoint : region -> region -> Lang.F.pred
val subset : region -> region -> Lang.F.pred
val equal_but : Lang.F.tau -> region -> Lang.F.term -> Lang.F.term -> Lang.F.pred
val vars : region -> Lang.F.Vars.t
val occurs : Lang.F.var -> region -> bool
val pretty : Format.formatter -> region -> unit