AlphaGitHub
Source/Systems

Coppelius.Build.DeviceImages

systems/coppelius/src/Coppelius/Build/DeviceImages.alpha

726 lines107 declarations39.5 KiBSHA-256 aca105a01057
Download exact fileView at revisionf5034773ad4bb52133

family · lines 71–77

CoppeliusDeviceImagesBuildResult

Full file
71family CoppeliusDeviceImagesBuildResult : Type 0
72constructor CoppeliusDeviceImagesBuildReady
73field unrestricted coppeliusDeviceImagesBuildBytes : BytesBuilder
74field unrestricted coppeliusDeviceImagesBuildCursor : Nat
75field unrestricted coppeliusDeviceImagesBuildCount : Nat
76constructor CoppeliusDeviceImagesBuildFailed
77field unrestricted coppeliusDeviceImagesBuildFailureIdentity : Bytes

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.