Cryptol.Prims.Eval
primTable
ecDemoteV
divModPoly
modExp
doubleAndAdd
type Binary b w
binary
type Unary b w
unary
liftBinArith
liftDivArith
type BinArith w
arithBinary
type UnaryArith w
liftUnaryArith
arithUnary
lg2
lexCompare
zipLexCompare
cmpOrder
withOrder
maxV
minV
funCmp
zeroV
joinWordVal
joinWords
joinSeq
joinV
splitWordVal
splitAtV
extractWordVal
ecSplitV
reverseV
transposeV
ccatV
wordValLogicOp
logicBinary
wordValUnaryOp
logicUnary
logicShift
shiftLW
shiftLB
shiftLS
shiftRW
shiftRB
shiftRS
rotateLW
rotateLB
rotateLS
rotateRW
rotateRB
rotateRS
indexPrimOne
indexFront
indexFront_bits
indexBack
indexBack_bits
indexPrimMany
updateFront
updateFront_bits
updateBack
updateBack_bits
updatePrim
fromThenV
fromToV
fromThenToV
infFromV
infFromThenV
randomV
errorV