Type Definition PathName
stateright::checker
type PathName = String;
An identifier that fully qualifies a Path.
Path