1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
extern crate llhd;
#[macro_use]
extern crate moore_common;
pub extern crate moore_svlog_syntax as syntax;
#[macro_use]
extern crate log;
pub(crate) use moore_common as common;
#[macro_use]
mod salsa;
mod ast_map;
mod codegen;
mod context;
pub mod hir;
pub mod mir;
mod param_env;
mod port_mapping;
mod resolver;
pub mod ty;
pub mod typeck;
pub mod value;
pub use crate::{
codegen::CodeGenerator,
context::*,
param_env::{NodeEnvId, ParamEnv, ParamEnvBinding, ParamEnvData, ParamEnvSource},
port_mapping::{PortMapping, PortMappingSource},
resolver::{Rib, RibKind},
syntax::*,
};
mod crate_prelude {
#[allow(unused_imports)]
pub(crate) use crate::{
ast,
common::errors::*,
common::name::Name,
common::score::Result,
common::source::{Span, Spanned},
common::util::{HasDesc, HasSpan},
common::NodeId,
context::{BaseContext, Context, GlobalContext},
hir, mir, param_env, port_mapping,
resolver::{self, Rib, RibKind},
ty, typeck, value, NodeEnvId,
};
}