Offset, past the parameters and shared state, of word j of coordinate i
in its owner's state.
313def dpoWordOffset =
314 (lambda unrestricted k : Nat .
315 (lambda unrestricted owners : Nat .
316 (lambda unrestricted word : Nat .
317 (lambda unrestricted coordinate : Nat .
318 (naturalMultiply
319 dpWord
320 (naturalAdd
321 (naturalMultiply word (dpoPerOwner k owners))
322 (naturalDivideUnchecked coordinate owners)))))))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.