[][src]Type Definition stateright::checker::PathName

type PathName = String;

An identifier that fully qualifies a Path.