1module Bob.System
2
3import Bob.Learner
4import Bob.Model
5import Bob.Prediction
6import Bob.TrainingRun
7import Representation.Schema
8
9family BobSystemConfiguration : Type 0
10constructor BobSystemConfigurationValue
11field unrestricted bobSystemDefinitionValue : (family SystemDefinition)
12field unrestricted bobSystemModel : (family BobModelSemantics)
13field unrestricted bobSystemLearning : (family BobLearningSemantics)
14field unrestricted bobSystemTrainingRun : (family BobTrainingRunSemantics)
15field unrestricted bobSystemPrediction : (family BobPredictionSemantics)
16field unrestricted bobSystemCheckpointSchema : (family BobCheckpointTransportSchema)
17
18end-family
19
20def bobSystemDefinition : (family SystemDefinition) =
21 (constructor SystemDefinition SystemDefinitionOf b"bob" bobParameters bobLearner)
22
23-- No target, device, address, launch or runtime value is reachable from this
24-- semantic root. Concrete hardware enters only through Bob.Build.*.
25def bobSystem : (family BobSystemConfiguration) =
26 (record
27 BobSystemConfiguration
28 (bobSystemDefinitionValue = bobSystemDefinition)
29 (bobSystemModel = bobModel)
30 (bobSystemLearning = bobLearningSemantics)
31 (bobSystemTrainingRun = bobTrainingRunSemantics)
32 (bobSystemPrediction = bobPredictionSemantics)
33 (bobSystemCheckpointSchema = bobCheckpointSchema))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.