mod app_purity;
mod arg_list;
mod builder;
mod costing;
mod env_values;
mod equality;
pub mod error;
pub mod eval_hir;
mod inliner;
mod intrinsic;
pub mod ops;
mod optimise;
mod polymorph;
pub mod printer;
mod record_field;
mod ret_value;
mod rust_fun;
mod specific_abi_type;
mod tagset;
mod typred;
mod value;
mod vector_member;

pub use eval_hir::BuiltProgram;
pub use printer::print_program;
pub use value::Value;

use crate::hir;
type Expr = hir::Expr<hir::Inferred>;