hax_frontend_exporter

Type Alias 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.