Function hacspec_lib::prelude::zero

pub fn zero<T>() -> T where
    T: Zero, 

Returns the additive identity, 0.