Skip to main content
Ident
charon_
driver
0.1.184
In charon_
driver::
hax
charon_driver
::
hax
Type Alias
Ident
Copy item path
Source
pub type Ident = (
Symbol
,
Span
);
Expand description
Reflects [
rustc_span::symbol::Ident
]