module Bob.System

import Bob.Learner
import Bob.Model
import Bob.Prediction
import Bob.TrainingRun
import Representation.Schema

family BobSystemConfiguration : Type 0
constructor BobSystemConfigurationValue
field unrestricted bobSystemDefinitionValue : (family SystemDefinition)
field unrestricted bobSystemModel : (family BobModelSemantics)
field unrestricted bobSystemLearning : (family BobLearningSemantics)
field unrestricted bobSystemTrainingRun : (family BobTrainingRunSemantics)
field unrestricted bobSystemPrediction : (family BobPredictionSemantics)
field unrestricted bobSystemCheckpointSchema : (family BobCheckpointTransportSchema)

end-family

def bobSystemDefinition : (family SystemDefinition) =
  (constructor SystemDefinition SystemDefinitionOf b"bob" bobParameters bobLearner)

-- No target, device, address, launch or runtime value is reachable from this
-- semantic root.  Concrete hardware enters only through Bob.Build.*.
def bobSystem : (family BobSystemConfiguration) =
  (record
    BobSystemConfiguration
    (bobSystemDefinitionValue = bobSystemDefinition)
    (bobSystemModel = bobModel)
    (bobSystemLearning = bobLearningSemantics)
    (bobSystemTrainingRun = bobTrainingRunSemantics)
    (bobSystemPrediction = bobPredictionSemantics)
    (bobSystemCheckpointSchema = bobCheckpointSchema))