Documentation

Lean.Namespace

Register a new namespace in the environment.

Instances For

    Return true if n is the name of a namespace in env.

    Instances For

      Returns an iterator over all namespaces in env.

      Instances For