Crate trivial_kernel

Re-exports

pub use context::store::Store;

pub use context::store::Store_;

pub use context::Context;

pub use error::KResult;

pub use state::State;

pub use stream::Stepper;

pub use table::Sort;

pub use table::Sort_;

pub use table::Table;

pub use table::Table_;

pub use table::Term;

pub use table::Term_;

pub use table::Theorem;

pub use table::Theorem_;

pub use var::Var;

pub use var::Var_;

Modules

context
error
opcode
state
stream
table
var