rukalang::elab::runtime_elab

Function integer_width

Source 
fn integer_width(ty: &Ty) -> Option<u8>