Function vstd::prelude::signed_min

pub fn signed_min(_word_bits: nat) -> nat