AlphaGitHub
Source/Packages

Representation.Schema

packages/representations/src/Representation/Schema.alpha

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

def · lines 359–365

continuationEntryCategoryOf

Full file
359def continuationEntryCategoryOf =
360  (lambda unrestricted entry : (family ContinuationEntry) .
361    (eliminate
362      ContinuationEntry
363      (lambda unrestricted current : (family ContinuationEntry) . (family ContinuationCategory))
364      entry
365      (branch ContinuationEntryOf category key . category)))

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.