Cryptol.TypeCheck.SimpType
tRebuild'
tRebuild
tAdd
tSub
tMul
tDiv
tMod
tExp
tMin
tMax
tWidth
tLenFromThen
tLenFromThenTo
total
op1
op2
op3
tOp