The semantic system deliberately stops before any hardware requirement,
address plan or launch policy. Those enter only in Coppelius.Build.*.
20def coppeliusSystem : (family CoppeliusSystemConfiguration) =
21 (record
22 CoppeliusSystemConfiguration
23 (coppeliusSystemModel = modelCoppelius)
24 (coppeliusSystemLearning = coppeliusLearningSemantics)
25 (coppeliusSystemTrainingRun = coppeliusTrainingRunSemantics)
26 (coppeliusSystemCheckpointSchema = coppeliusCheckpointSchema))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.