Source/Systems

Coppelius.Learner

systems/coppelius/src/Coppelius/Learner.alpha

68 lines23 declarations2.8 KiBSHA-256 ebcd4af8162d

family · lines 10–13

CoppeliusLearningSemantics

Full file
Coppelius keeps the objective beside the model geometry, but learning is a separate semantic choice. The shared Representation.Schema owner defines AdamW; this module only binds that reusable learner to Coppelius.
10family CoppeliusLearningSemantics : Type 0
11constructor CoppeliusLearningSemanticsValue
12field unrestricted coppeliusLearningObjective : (family ModelObjective)
13field unrestricted coppeliusLearningLearner : (family LearnerContract)

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.