Function hacspec_lib::prelude::sub_poly

pub fn sub_poly<T: Numeric + Copy>(a: &Seq<T>, b: &Seq<T>, modulo: T) -> Seq<T>

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec polynomial subtraction, calculates a - b mod modulo