charon_driver::translate::translate_trait_objects

Function usize_ty

Source 
fn usize_ty() -> Ty