pub fn declared_path(
ast: &Ast,
id: Id<TypeNode>,
) -> Result<Path, MaterialiseError>Expand description
The path a generated declaration of id is reached by.
qualified under a public name, because the codec backend needs it
and is in a different module. A codec sits at the file root, where a
class nested in class a: class b: is a.b.Point and Point names
nothing — the same reason the annotations this file writes are
qualified.
§Errors
As qualified.