hax_
frontend_
exporter
0.1.0-alpha.1
Path
Aliased type
Trait Implementations
From<DefId>
In crate hax_
frontend_
exporter
hax_frontend_exporter
Type Alias
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.