Function vstd::prelude::signed_max

pub fn signed_max(_word_bits: nat) -> nat