Function hacspec_lib::prelude::extended_euclid

pub fn extended_euclid<T: Integer + Copy>(
    x: &Seq<T>, 
    irr: &Seq<T>, 
    n: T
) -> Result<Seq<T>, &'static str>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Euclidean algorithm to compute the inverse of x in yℤ[x]