type-int-0.4: Type Level 2s- and 16s- Complement IntegersContentsIndex
BEFHILMNOPSTX
Index (T)
T
TAbs
TAdd
1 (Type/Class)
2 (Type/Class)
TAdd'
1 (Type/Class)
2 (Type/Class)
TAddC'
1 (Type/Class)
2 (Type/Class)
TAnd
TBinary
TBinary2Hex
TBool
TCBinary
TChangeBit
TComplementBit
TCountBits
TCountBits'
TEq
TEven
1 (Type/Class)
2 (Type/Class)
TGe
TGetBit
TGt
THex
THex2Binary
THex2Binary'
THexBinary
TIf
TImplies
TIsNegative
1 (Type/Class)
2 (Type/Class)
TIsPositive
1 (Type/Class)
2 (Type/Class)
TIsZero
1 (Type/Class)
2 (Type/Class)
TLe
TLt
TMul
1 (Type/Class)
2 (Type/Class)
TNF
1 (Type/Class)
2 (Type/Class)
TNF'
1 (Type/Class)
2 (Type/Class)
TNeg
1 (Type/Class)
2 (Type/Class)
TNot
TOdd
1 (Type/Class)
2 (Type/Class)
TOr
TPow
1 (Type/Class)
2 (Type/Class)
TPow'
TSetBit
TShift
TShift'
TSub'
1 (Type/Class)
2 (Type/Class)
TSucc
1 (Type/Class)
2 (Type/Class)
TUnSetBit
TXOr
TXOr'
Trichotomy
t2n
t2np1
tAbs
tAdd
1 (Function)
2 (Function)
tAdd'
1 (Function)
2 (Function)
tAddC'
tAddF'
tAnd
tBSL
tBinary2Hex
tChangeBit
tComplementBit
tCountBits
tEq
tEven
tF
tGe
tGetBit
tGt
tHex2Binary
tIf
tImplies
tIsNegative
1 (Function)
2 (Function)
tIsPositive
1 (Function)
2 (Function)
tIsZero
1 (Function)
2 (Function)
tLSB
tLSN
tLe
tLt
tMul
1 (Function)
2 (Function)
tNF
1 (Function)
2 (Function)
tNSL
tNeg
1 (Function)
2 (Function)
tNot
tOdd
tOr
tPow
1 (Function)
2 (Function)
tPred
1 (Function)
2 (Function)
tSetBit
tShift
tSub
1 (Function)
2 (Function)
tSub'
1 (Function)
2 (Function)
tSucc
1 (Function)
2 (Function)
tT
tUnSetBit
tXOr
tXOr'