Crate rust_lean_playground

Source

Structs§

FieldElement51

Constants§

LOW_51_BIT_MASK

Functions§

add_with_carry
Add a bignum (Vec<u32>) in place, and return the carry.

Type Aliases§

Bignum