201def nitReleaseFor =
202 (lambda unrestricted slots : Nat .
203 (lambda unrestricted system : (family IndependentStateSystem slots) .
204 (lambda unrestricted fanout : Nat .
205 (lambda unrestricted layout : (family NativeIndependentTreeLayout) .
206 (lambda unrestricted child : Nat .
207 (niFrameAt
208 (niIdentity
209 slots
210 system
211 (nitDigest layout)
212 3
213 (nitParent fanout (niOwners slots system) child)
214 child)
215 nativePointwiseWordBytes
216 (nitRelease 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.