Skip to main content

RegionVid

charon_driver::hax

Type Alias RegionVid 

Source 
pub type RegionVid = usize;