Closed rgwilton closed 5 years ago
Probably need to expand text on referentially complete to also cover leaf-refs, and must/when statements.
Referentially incomplete package definitions are allowed, but cannot be used as top level packages. Need to check that this is covered by the version selection draft.
From Jason:
Yes, having partial packages may be useful. Perhaps just adding a leaf to indicate whether a package is referentially complete could be the answer here.