Field projection for `modelBlockSize`, generated from the declaration: the family
has one constructor, so this is the unique total projection.
66def modelBlockSize =
67 (lambda unrestricted value : (family ModelConfig) .
68 (eliminate
69 ModelConfig
70 (lambda unrestricted current : (family ModelConfig) . (family ModelWord32))
71 value
72 (branch
73 ModelConfigValue
74 modelVocabSize
75 modelBlockSize
76 modelLayers
77 modelWidth
78 modelHeads
79 modelFfnStoredWidth
80 modelExperts
81 modelTopK
82 modelRoute
83 modelStackedExperts
84 modelHeadRank
85 modelAttentionRank
86 modelPositionEncoding
87 modelNormKind
88 modelTieEmbeddings
89 modelObjective
90 .
91 modelBlockSize)))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.