aver/lib.rs
1extern crate self as aver;
2
3pub mod ast;
4pub mod call_graph;
5pub mod checker;
6pub mod codegen;
7pub mod config;
8pub mod effects;
9#[allow(dead_code)]
10#[path = "main/format_cmd.rs"]
11pub mod format;
12pub mod interpreter;
13pub mod lexer;
14pub mod nan_value;
15pub mod parser;
16pub mod replay;
17pub mod resolver;
18pub mod runtime_bench_cases;
19pub mod services;
20pub mod source;
21pub mod tail_check;
22pub mod tco;
23pub mod types;
24pub mod value;
25pub mod verify_law;
26pub mod vm;