Module Wp.RegionAnnot

module Lpath : sig ... end
type region_pattern =
| FREE
| PVAR
| PREF
| PMEM
| PVECTOR
| PMATRIX
type region_spec = {
region_name : string option;
region_pattern : region_pattern;
region_lpath : lpath list;
}
val p_name : region_pattern -> string
val register : unit -> unit

Auto when `-wp-region`