Module compile

Compilation process, from AST to Sema to Sequences of Insts.

Functions

compile

Compile the given AST definitions into Rust source code.

create_envs

Construct the ISLE type and term environments for further analysis (i.e., verification), without going all the way through codegen.

from_files

Compile the given files into Rust source code.