Skip to main content

RegionVid

charon_driver::hax::types::ty

Type Alias RegionVid 

Source 
pub type RegionVid = usize;