The frames of the edge between `child` and its parent.
184def nitCommitmentFor =
185 (lambda unrestricted slots : Nat .
186 (lambda unrestricted system : (family IndependentStateSystem slots) .
187 (lambda unrestricted fanout : Nat .
188 (lambda unrestricted layout : (family NativeIndependentTreeLayout) .
189 (lambda unrestricted child : Nat .
190 (niFrameAt
191 (niIdentity
192 slots
193 system
194 (nitDigest layout)
195 2
196 child
197 (nitParent fanout (niOwners slots system) child))
198 nativeTreeCommitmentBytes
199 (nitCommitment layout)))))))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.