References

summary
public	F add64(a: , b: ): undefined[]
public	F and64(a: , b: )
public	F big64(a: Array, o: Number): Array Converts a 8-bytes big endian array to a 64-bit integer (also big endian).
public	F compare(a: , b: ): *
public	F get64(hi: , lo: )
public	F mul64(a: , b: ): * Multiplies two uint64 into one uint64.
public	F not64(a: *)
public	F rotl64(a: Array, s: Number): Array Left rotate a 64-bit unsigned integer given as a pair of two 32-bit signed integers in big endian order.
public	F rotr64(a: Array, s: Number): Array Right rotate a 64-bit unsigned integer given as a pair of two 32-bit signed integers in big endian order.
public	F shl64(a: Array, s: Number): Array Left shift a 64-bit unsigned integer given as a pair of two 32-bit signed integers in big endian order.
public	F shr64(a: Array, s: Number): Array Right shift a 64-bit unsigned integer given as a pair of two 32-bit signed integers in big endian order.
public	F xor64(a: , b: )