store paths are not uniquely determined

This commit is contained in:
Valentin Gagarin 2023-02-07 11:59:18 +01:00 committed by GitHub
parent 9be3c6c7c7
commit e4f12ff482
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -115,7 +115,7 @@
then be built.
- [reference]{#gloss-reference}\
A [store object] `O` is said to have a *reference* to a store object `P` if the [store path] of `P` appears in the contents of `O`.
A [store object] `O` is said to have a *reference* to a store object `P` if a [store path] to `P` appears in the contents of `O`.
The *references* of a store object `O` are the set of store objects to which `O` has a reference.
Store objects can refer to both other store objects and themselves.