AlphaGitHub
Source/Packages

Data.Bytes

packages/foundation/standard/src/Data/Bytes.alpha

1,462 lines172 declarations57.0 KiBSHA-256 55edb6a9adcd
Download exact fileView at revisionf5034773ad4bb52133

def · lines 264–266

dataBytesZeroTelemetry

Full file
264def dataBytesZeroTelemetry =
265  (lambda unrestricted allocationLimit : Nat .
266    (dataBytesTelemetry zero zero zero zero zero zero zero allocationLimit))

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.