Function hacspec_lib::prelude::ct_div

pub fn ct_div<T: Integer + Copy>(a: T, d: T) -> (T, T)

Function that is not part of the language but is offered as a helper for tests, etc. Constant time division for Numerics. Note that this function is only constant time if T is a secret integer and hence provides constant time implementations for the used functions.