List of all items[−]
Structs
- context::Context
- context::heap::DisplayHeap
- context::heap::Heap
- context::stack::DisplayStack
- context::stack::Stack
- context::store::Conv
- context::store::DisplayElement
- context::store::DisplayPackedPtr
- context::store::PackedPtr
- context::store::Ptr
- context::store::Store_
- context::store::Term
- context::store::Variable
- opcode::Command
- state::State
- stream::proof::Stepper
- stream::statement::Stepper
- stream::unify::Stepper
- table::Sort_
- table::Table_
- table::Term_
- table::Theorem_
- var::Var_
Enums
- context::store::ElementRef
- error::Kind
- opcode::Opcode
- opcode::Proof
- opcode::Statement
- opcode::Unify
- stream::proof::Action
- stream::proof::FinalizeState
- stream::statement::Action
- stream::statement::AxiomThm
- stream::statement::AxiomThmAction
- stream::statement::Opcode
- stream::statement::TermDef
- stream::statement::TermDefAction
- stream::unify::Action
- stream::unify::Mode
Traits
- context::store::Store
- stream::proof::Proof
- stream::proof::Run
- stream::statement::StatementStream
- stream::unify::Run
- stream::unify::Unify
- table::Sort
- table::Table
- table::Term
- table::Theorem
- var::Var