Function hacspec_lib::prelude::div_scalar

pub fn div_scalar<T: Integer + Copy>(a: &Seq<T>, scalar: T, p: T) -> Seq<T>

Function that is not part of the language but is offered as a helper for tests, etc. Scalar division in R_p. Returns a / scalar mod p.