AlphaGitHub
Source/Systems

Coppelius.TrainingRun

systems/coppelius/src/Coppelius/TrainingRun.alpha

221 lines64 declarations11.3 KiBSHA-256 34fa64a5bc81
Download exact fileView at revision3c600751929f56cd01

def · lines 197–200

coppeliusIdentityPart

Full file
197def coppeliusIdentityPart =
198  (lambda unrestricted name : Bytes .
199    (lambda unrestricted value : Nat .
200      (bytes-append b"|" (bytes-append name (bytes-append b"=" (naturalDecimalBytesWithin 24 value))))))

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.