|
|
|---|
|
|
|
|---|
A simple notion of file paths.
This is factored into its own file and XDOC topic because, besides its primary use in our model of files, it is also used in the abstract syntax, which can therefore just include this without including the model of files.