Module fixpoint

Structs

• U128x128
• U128x128Var

Enums

• Error

Functions

• bit_constrain
  Bit constrain for FqVar and return number of bits
• convert_uint64_to_fqvar
  Convert Uint64 into an FqVar