usize_ty

charon_driver::translate::translate_trait_objects

Function usize_ty 

Source 
fn usize_ty() -> Ty