Source/Packages

Learning.Transition

packages/learning/src/Learning/Transition.alpha

72 lines15 declarations2.6 KiBSHA-256 23ecfffa83db

family · lines 8–11

LearningRound

Full file
Epoch fences a replaced execution; version identifies one logical state. They are independent: restarting a worker need not advance the learner.
8family LearningRound : Type 0
9constructor LearningRoundOf
10field unrestricted learningMembershipEpoch : Nat
11field unrestricted learningStateVersion : Nat

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.