List of all items
Structs
- bool::And
- bool::Nand
- bool::NandBase
- bool::Nor
- bool::Not
- bool::Or
- bool::Xnor
- bool::Xor
- list::bool::Cons
- nat::Mul
- nat::NatCmp
- nat::NatEq
- nat::NatGe
- nat::NatGt
- nat::NatLe
- nat::NatLt
- nat::NatNe
- nat::Plus
- nat::Succ
- ord::OrderingEq
- ord::OrderingEqBase
- turing_machine::HaltConfiguration
- turing_machine::NonHaltConfiguration
- turing_machine::Tape
Enums
Traits
- bool::Bool
- bool::BoolIsEq
- bool::BoolNotEq
- bool::BoolT
- list::bool::BoolList
- nat::Nat
- nat::NatIsEq
- nat::NatNotEq
- nat::NatT
- ord::Ordering
- ord::OrderingT
- turing_machine::Configuration
- turing_machine::NonHaltState
- turing_machine::Run
- turing_machine::State
- turing_machine::Step
- turing_machine::StepN
- turing_machine::TapeT
- turing_machine::TuringMachine
- types::SameType
Macros
Functions
- bool::assert_bool_eq
- bool::assert_false
- bool::assert_true
- nat::assert_nat_eq
- nat::assert_nat_neq
- types::assert_same_type
Type Aliases
- bool::BoolEq
- nat::consts::_0
- nat::consts::_1
- nat::consts::_10
- nat::consts::_100
- nat::consts::_1000
- nat::consts::_11
- nat::consts::_12
- nat::consts::_13
- nat::consts::_14
- nat::consts::_15
- nat::consts::_16
- nat::consts::_17
- nat::consts::_18
- nat::consts::_19
- nat::consts::_2
- nat::consts::_20
- nat::consts::_21
- nat::consts::_22
- nat::consts::_23
- nat::consts::_24
- nat::consts::_25
- nat::consts::_26
- nat::consts::_27
- nat::consts::_28
- nat::consts::_29
- nat::consts::_3
- nat::consts::_30
- nat::consts::_31
- nat::consts::_32
- nat::consts::_4
- nat::consts::_5
- nat::consts::_6
- nat::consts::_7
- nat::consts::_8
- nat::consts::_9
- turing_machine::BlankTape
- turing_machine::HaltStep
- turing_machine::NonHaltStep
- turing_machine::RunOn
- turing_machine::RunOnBlank
- turing_machine::WriteAndLeft
- turing_machine::WriteAndRight