Module Locality
* Managing locality
val make_locality : bool option -> boolval make_non_locality : bool option -> boolval enforce_locality_exp : bool option -> Vernacexpr.discharge -> DeclareDef.localityval enforce_locality : bool option -> bool
val make_section_locality : bool option -> boolval enforce_section_locality : bool option -> bool
val make_module_locality : bool option -> boolval enforce_module_locality : bool option -> bool