Function hacspec_lib::prelude::add_poly

pub fn add_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 Addition, calculates a + b mod modulo