PRD 19 L24: a system is its structural parameters and its learner; everything
the continuation and the update plan need is DERIVED from this value.
87constructor SystemDefinitionOfThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.