[][src]Crate spec_lang

Modules

ast

Contains AST definitions for the specification language fragments of the Move language.

code_writer
env

Provides an environment -- global state -- for translation, including helper functions to interpret metadata about the translation target.

symbol

Contains definitions of symbols -- internalized strings which support fast hashing and comparison.

ty

Contains types and related functions.

Macros

emit

Macro to emit a simple or formatted string.

emitln

Macro to emit a simple or formatted string followed by a new line.

Functions

run_spec_lang_compiler