Re-exports§
pub use runtime::Ptr;pub use runtime::DP0;pub use runtime::DP1;pub use runtime::VAR;pub use runtime::ARG;pub use runtime::ERA;pub use runtime::LAM;pub use runtime::APP;pub use runtime::SUP;pub use runtime::CTR;pub use runtime::FUN;pub use runtime::OP2;pub use runtime::U60;pub use runtime::F60;pub use runtime::ADD;pub use runtime::SUB;pub use runtime::MUL;pub use runtime::DIV;pub use runtime::MOD;pub use runtime::AND;pub use runtime::OR;pub use runtime::XOR;pub use runtime::SHL;pub use runtime::SHR;pub use runtime::LTN;pub use runtime::LTE;pub use runtime::EQL;pub use runtime::GTE;pub use runtime::GTN;pub use runtime::NEQ;pub use runtime::get_tag;pub use runtime::get_ext;pub use runtime::get_val;pub use runtime::get_num;pub use runtime::get_loc;pub use runtime::CELLS_PER_KB;pub use runtime::CELLS_PER_MB;pub use runtime::CELLS_PER_GB;pub use language::syntax::Term;pub use language::syntax::Term::Var;pub use language::syntax::Term::Dup;pub use language::syntax::Term::Let;pub use language::syntax::Term::Lam;pub use language::syntax::Term::App;pub use language::syntax::Term::Ctr;pub use language::syntax::Term::U6O;pub use language::syntax::Term::F6O;pub use language::syntax::Term::Op2;pub use language::*;pub use runtime::*;