hax_
frontend_
exporter
0.1.0-alpha.1
Path
Aliased type
Trait Implementations
From<DefId>
In crate hax_
frontend_
exporter
Type Alias
hax_frontend_exporter
::
Path
Copy item path
source
·
[
−
]
pub type Path =
Vec
<
String
>;
Aliased Type
§
struct Path {
/* private fields */
}
Trait Implementations
§
source
§
impl
From
<
DefId
> for
Path
source
§
fn
from
(v:
DefId
) ->
Vec
<
String
>
Converts to this type from the input type.