839def repeatedWorkerArtifact =
840 (lambda unrestricted port : Nat .
841 (lambda unrestricted steps : Nat .
842 (lambda unrestricted epoch : Nat .
843 (lambda unrestricted version : Nat . (repeatedArtifactFor 1 port 1 0 0 steps epoch version)))))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.