reword definition of "reference"

This commit is contained in:
Valentin Gagarin 2022-12-20 16:24:13 +01:00
parent 1df3d62c76
commit bc9de373c7

View file

@ -115,14 +115,12 @@
then be built. then be built.
- [reference]{#gloss-reference}\ - [reference]{#gloss-reference}\
A store path `P` is said to have a reference to a store path `Q` if A [store path] `P` is said to have a *reference* to a store path `Q` if the string `Q` appears in the [store object] at `P`.
the store object at `P` contains the path `Q` somewhere. The The *references* of a store path `P` are the set of store paths to which `P` has a reference.
*references* of a store path are the set of store paths to which it
has a reference.
A derivation can reference other derivations and sources (but not A [derivation] can reference other derivations and source files, but not [output path]s, whereas an output path can only reference other output paths.
output paths), whereas an output path only references other output
paths. [reference]: #gloss-reference
- [reachable]{#gloss-reachable}\ - [reachable]{#gloss-reachable}\
A store path `Q` is reachable from another store path `P` if `Q` A store path `Q` is reachable from another store path `P` if `Q`