Function ring::arithmetic::bigint::verify_inverses_consttime

source ยท 
pub fn verify_inverses_consttime<M>(
    a: &Elem<M, R>,
    b: Elem<M, Unencoded>,
    m: &Modulus<'_, M>,
) -> Result<(), Unspecified>
Expand description

Verified a == b**-1 (mod m), i.e. a**-1 == b (mod m).