Crypto.F2
data
F2
eq
add
addr
shift
mul
mulr
testBit
redc
square
pow
inv
fromInteger
toInteger