Environment extension for tracking all namespace
declared by users.
Register a new namespace in the environment.
Equations
Instances For
Return true
if n
is the name of a namespace in env
.
Equations
Instances For
Return a set containing all namespaces in env
.