List of all items

Structs

• call::Call
• key::Key
• link::Link
• name::Name
• proof::And
• proof::Eqv
• proof::Iff
• proof::Imp
• proof::Not
• proof::Or
• proof::Prf
• proof::Sub
• prop::Sorted
• vec::ConstPtr
• vec::MutPtr
• vec::MutSlice
• vec::Slice
• vec::Vec

Enums

• proof::False
• proof::True

Traits

• called::Called
• only::Only

Functions

• call::forge
• link::link
• name::name
• proof::and
• proof::app
• proof::assume
• proof::contradiction
• proof::fst
• proof::iff_refl
• proof::iff_symm
• proof::iff_trans
• proof::imp_antisymm
• proof::imp_refl
• proof::imp_trans
• proof::impossible
• proof::lam
• proof::left
• proof::not
• proof::or
• proof::right
• proof::snd
• proof::trivial

Type Aliases

• binary_heap::BinaryHeap
• btree_map::BTreeMap
• hash_map::HashMap
• linked_list::LinkedList
• vec_deque::VecDeque