summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/mod.rs
blob: 93c8f485466359b32cfe03c130f27435e4e8ffa8 (plain)
1
2
3
4
5
6
pub mod env;
pub mod tir;
pub mod typecheck;
pub(crate) use env::*;
pub(crate) use tir::*;
pub(crate) use typecheck::*;