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