AlphaGitHub
Source/Packages

Runtime.NativePhysicalImagePlan

packages/execution/src/Runtime/NativePhysicalImagePlan.alpha

30 lines8 declarations1.5 KiBSHA-256 9f4f8df3899e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 28–30

nativePhysicalImageAlignedExtent

Full file
28def nativePhysicalImageAlignedExtent =
29  (lambda unrestricted extent : Nat .
30    (naturalMultiply (naturalDivideUnchecked (naturalAdd extent 3) 4) 4))

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.