vstd::prelude

Function signed_max

pub fn signed_max(_word_bits: nat) -> nat