66family NamedCoreTerm : Type 0
67constructor NamedCoreUniverse
68field unrestricted namedUniverseLevel : Nat
69constructor NamedCoreNatural
70constructor NamedCoreNaturalLiteral
71field unrestricted namedNaturalValue : Bytes
72constructor NamedCoreVariable
73field unrestricted namedVariableIdentifier : Bytes
74constructor NamedCorePi
75field unrestricted namedPiMultiplicity : (family CoreMultiplicity)
76field unrestricted namedPiBinder : Bytes
77recursive unrestricted namedPiDomain
78recursive unrestricted namedPiCodomain
79constructor NamedCoreLambda
80field unrestricted namedLambdaMultiplicity : (family CoreMultiplicity)
81field unrestricted namedLambdaBinder : Bytes
82recursive unrestricted namedLambdaDomain
83recursive unrestricted namedLambdaBody
84constructor NamedCoreLet
85field unrestricted namedLetMultiplicity : (family CoreMultiplicity)
86field unrestricted namedLetBinder : Bytes
87recursive unrestricted namedLetAnnotation
88recursive unrestricted namedLetValue
89recursive unrestricted namedLetBody
90constructor NamedCoreApplication
91recursive unrestricted namedApplicationFunction
92recursive unrestricted namedApplicationArgument
93constructor NamedCoreNaturalArithmetic
94field unrestricted namedcoreArithmeticOperation : (family CoreNaturalOperation)
95recursive unrestricted namedcoreArithmeticLeft
96recursive unrestricted namedcoreArithmeticRight
97constructor NamedCoreNaturalSuccessor
98recursive unrestricted namedNaturalPredecessor
99constructor NamedCoreByte
100constructor NamedCoreByteLiteral
101field unrestricted namedByteValue : Byte
102constructor NamedCoreBytes
103constructor NamedCoreBytesLiteral
104field unrestricted namedBytesValue : Bytes
105constructor NamedCoreTermSequenceEnd
106constructor NamedCoreTermSequenceNext
107recursive unrestricted namedCoreTermSequenceHead
108recursive unrestricted namedCoreTermSequenceTail
109constructor NamedCoreFamilyApplication
110field unrestricted namedCoreFamilyName : Bytes
111recursive unrestricted namedCoreFamilyArguments
112constructor NamedCoreConstructorApplication
113field unrestricted namedCoreConstructorFamilyName : Bytes
114field unrestricted namedCoreConstructorName : Bytes
115recursive unrestricted namedCoreConstructorArguments
116constructor NamedCoreEliminatorBranch
117field unrestricted namedCoreBranchConstructorName : Bytes
118recursive unrestricted namedCoreBranchBinderNames
119recursive unrestricted namedCoreBranchBody
120constructor NamedCoreEliminator
121field unrestricted namedCoreEliminatedFamilyName : Bytes
122recursive unrestricted namedCoreEliminatorMotive
123recursive unrestricted namedCoreEliminatorScrutinee
124recursive unrestricted namedCoreEliminatorBranchesThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.