Documentation

Lean.Namespace

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.

          Equations
            Instances For