AlphaGitHub
Source/Packages

Representation.Schema

packages/representations/src/Representation/Schema.alpha

701 lines99 declarations24.8 KiBSHA-256 209c8ba5712e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 367–374

continuationSystemEntry

Full file
367def continuationSystemEntry =
368  (lambda unrestricted category : (family ContinuationCategory) .
369    (lambda unrestricted name : Bytes .
370      (constructor
371        ContinuationEntry
372        ContinuationEntryOf
373        category
374        (constructor StdList StdListCons Bytes name (constructor StdList StdListEmpty 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.