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