Crate trivial_kernel[−][src]

Re-exports

pub use error::TResult;

pub use verifier::Sort;

pub use verifier::State;

pub use verifier::Stepper;

pub use verifier::Table;

pub use verifier::Table_;

pub use verifier::Theorem;

pub use verifier::Type;