List of all items

Structs

• bool::ConstBool
• fin::Fin
• fin::FinRange
• int::ConstI128
• int::ConstI16
• int::ConstI32
• int::ConstI64
• int::ConstI8
• int::ConstIsize
• int::ConstU128
• int::ConstU16
• int::ConstU32
• int::ConstU64
• int::ConstU8
• int::ConstUsize
• int::Succ
• iter::DIter
• iter::DIterBridge
• iter::DIterBridgeFamily
• ops::Add
• ops::And
• ops::Div
• ops::Mul
• ops::Neg
• ops::Not
• ops::Or
• ops::Rem
• ops::Sub
• ops::XAdd
• ops::XDiv
• ops::XMul
• ops::XNeg
• ops::XRem
• ops::XSub
• ops::Xor
• pair::DPair
• slice::DSlice
• slice::DSliceIter
• slice::DSliceIterFamily
• slice::DSliceIterMut
• slice::DSliceIterMutFamily
• term::Def
• term::Erased
• term::Value
• term::ValueCmp
• transmutable::Transmutability
• type_eq::TypeEqR
• type_eq::TypeIdentity
• type_eq::TypeLeR
• type_eq::TypeLtR
• type_eq::TypeNeR
• unreachable::UnreachablePanic
• unreachable::UnreachableUnchecked
• var::Var
• vec::DLVec
• vec::DVec

Enums

• type_eq::TypeOrdering

Unions

• result::DResult

Traits

• int::Int
• int::uint::UInt
• iter::DLIter
• iter::DLIterFamily
• kinds::L2S
• kinds::Term2S
• newtype::NewType
• ops::ConstOps
• term::Term
• term::TotalCmp
• type_eq::EqReflexive
• unreachable::Unreachable

Macros

• impl_equiv
• impl_newtype
• impl_transm
• impl_zst
• make_guard
• term

Functions

• bool::ConstBool
• bool::and::and_a_a_eq_a
• bool::and::and_commutative
• bool::and::and_false_eq_false
• bool::and::and_true_eq_a
• bool::and::false_and_eq_false
• bool::and::true_and_eq_b
• bool::choose
• bool::ne_false_implies_true
• bool::ne_ne_implies_eq
• bool::ne_true_implies_false
• bool::not::a_eq_b_implies_not_a_ne_b
• bool::not::ne_implies_eq_not
• bool::not::not_a_eq_b_implies_a_ne_b
• bool::not::not_a_ne_a
• bool::not::not_false_is_true
• bool::not::not_not_a_eq_a
• bool::not::not_true_is_false
• bool::or::false_or_eq_b
• bool::or::or_a_a_eq_a
• bool::or::or_commutative
• bool::or::or_false_eq_a
• bool::or::or_true_eq_true
• bool::or::true_or_eq_true
• bool::true_ne_false
• bool::xor::false_xor_eq_b
• bool::xor::true_xor_eq_not_b
• bool::xor::xor_a_a_eq_false
• bool::xor::xor_commutative
• bool::xor::xor_false_eq_a
• bool::xor::xor_true_eq_not_a
• int::ConstI128
• int::ConstI16
• int::ConstI32
• int::ConstI64
• int::ConstI8
• int::ConstIsize
• int::ConstU128
• int::ConstU16
• int::ConstU32
• int::ConstU64
• int::ConstU8
• int::ConstUsize
• int::One
• int::Pred
• int::Succ
• int::Zero
• int::a_lt_s_a
• int::add::a_le_a_plus_b
• int::add::a_plus_0_eq_a
• int::add::a_plus_s_b_eq_s_add_a_b
• int::add::add_0_a_eq_a
• int::add::add_associative
• int::add::add_commutative
• int::add::add_eq_to_left_eq
• int::add::add_eq_to_right_eq
• int::add::add_le
• int::add::s_a_eq_a_plus_1
• int::add::s_a_plus_b_eq_a_plus_s_b
• int::add::s_a_plus_b_eq_s_add_a_b
• int::add::sa_eq_s_a_and_sb_eq_s_b_implies_sa_plus_b_eq_a_plus_sb
• int::int_as_succ_or_pred
• int::int_pred_or_succ
• int::is_zero
• int::neg::a_plus_neg_b_eq_a_sub_b
• int::neg::neg_a_eq_0_minus_a
• int::neg::neg_add_a_b_eq_neg_a_minus_b
• int::neg::neg_eq_to_eq
• int::neg::neg_neg_a_eq_a
• int::neg::neg_s_a_eq_neg_a_minus_1
• int::neg::neg_sub_a_b_eq_b_minus_a
• int::neg::neg_zero_eq_zero
• int::sub::a_minus_0_eq_a
• int::sub::a_minus_a_eq_0
• int::sub::a_minus_b_plus_b_eq_a
• int::sub::a_minus_sub_a_b_eq_b
• int::sub::a_minus_sub_b_c_eq_a_plus_sub_c_b
• int::sub::a_plus_b_minus_b_eq_a
• int::sub::add_sub_associative
• int::sub::add_sub_commutative
• int::sub::s_a_minus_b_eq_s_sub_a_b
• int::sub::s_a_minus_s_0_eq_a
• int::sub::s_a_minus_s_b_eq_a_minus_b
• int::sub::s_sub_a_s_0_eq_a
• int::sub::s_sub_a_s_b_eq_a_minus_b
• int::sub::sub_add_associative
• int::sub::sub_eq_to_left_eq
• int::sub::sub_eq_to_right_eq
• int::sub::sub_sub_associative
• int::succ_eq_to_eq
• int::uint::a_ge_0
• int::uint::ne_zero_is_succ
• int::uint::uint_as_succ
• int::uint::uint_pred
• loops::repeat_to_zero
• loops::until_err
• ops::Add
• ops::And
• ops::Div
• ops::Mul
• ops::Neg
• ops::Not
• ops::Or
• ops::Rem
• ops::Sub
• ops::XAdd
• ops::XDiv
• ops::XMul
• ops::XNeg
• ops::XRem
• ops::XSub
• ops::Xor
• term::Def
• term::total_cmp
• term::total_eq
• term::total_le
• term::total_lt
• term::value_cmp
• term::value_eq
• term::value_le
• term::value_le_or_gt
• term::value_lt
• term::value_lt_or_ge
• term::value_partial_cmp
• transmutable::array_equiv
• transmutable::array_transm
• transmutable::box_equiv
• transmutable::box_transm
• transmutable::coerce
• transmutable::coerce_vec
• transmutable::id_equiv
• transmutable::id_transm
• transmutable::mut_equiv
• transmutable::ref_equiv
• transmutable::ref_transm
• type_eq::refl
• var::Var

Type Aliases

• bool::False
• bool::True
• int::One
• int::Pred
• int::ValueIsZero
• int::Zero
• kinds::L2S_
• kinds::Term2S_
• term::ValueEq
• term::ValueGe
• term::ValueGt
• term::ValueLe
• term::ValueLt
• term::ValueNe
• term::ValueOrdering
• transmutable::Equiv
• transmutable::Transm
• type_eq::TypeEq
• type_eq::TypeGeR
• type_eq::TypeGtR
• var::Erasure

Constants

• bool::False
• bool::True