dada_ir_sym/ir.rs
1//! Defines the symbolic intermediate representation.
2//! This is a type-checked, name-resolved version of the AST.
3//! Also defines methods to create symbols (and the symbol tree) for functions, types, parameters, etc.
4
5pub mod binder;
6pub mod classes;
7pub mod exprs;
8pub mod functions;
9pub mod generics;
10pub mod indices;
11pub mod module;
12pub(crate) mod populate;
13pub mod primitive;
14pub mod subst;
15pub mod types;
16pub mod variables;