All external operands are declared host descriptors. The containing-directory
descriptor must be the directory used to open the sink, not an unrelated
descriptor whose fsync merely happens to succeed.
186def publicationStateAddress =
187 (lambda unrestricted applicationBytes : Nat .
188 (lambda unrestricted ordinaryCapacity : Nat .
189 (lambda unrestricted reservedCapacity : Nat .
190 (lambda unrestricted relative : Nat .
191 (constructor
192 NativePhysicalOperand
193 NativePhysicalStateAddress
194 (modelWord64FromNaturalTruncated
195 (naturalAdd
196 (publicationBase applicationBytes ordinaryCapacity reservedCapacity)
197 relative)))))))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.