Module symbol

Modules

• sym

Macros

• consts 🔒
  A helper for symbols defined below. The macro’s job is to bind conveniently usable const items to the symbol names provided. For example, with symbol { a, b } you’d have sym::a and sym::b.
• strings 🔒
  A helper for symbols defined below. The macro’s job is to merge all the hard-coded strings into a single array of strings. The strategy applied is push-down accumulation.
• symbols 🔒
  Creates predefined symbols used throughout the Leo compiler and language. Broadly speaking, any hard-coded string in the compiler should be defined here.

Structs

• InnerInterner 🔒
  The inner interner. This construction is used to get interior mutability in Interner.
• Interner 🔒
  A symbol-to-string interner.
• SessionGlobals
  All the globals for a compiler sessions.
• Symbol
  An interned string.

Enums

• InternedStr 🔒
  An interned string, either prefilled “at compile time” (Static), or created at runtime (Owned).

Constants

• PRE_DEFINED 🔒

Statics

• SESSION_GLOBALS

Functions

• create_session_if_not_set_then
  Creates the session globals and then runs the closure f.
• with_session_globals
  Gives access to read or modify the session globals in f.