AlphaGitHub
Source/Packages

Component.RotaryFrequency

packages/components/src/Component/RotaryFrequency.alpha

54 lines6 declarations2.3 KiBSHA-256 17777457a2d0
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 13–18

rotaryFrequencyRoot

Full file
13def rotaryFrequencyRoot =
14  (lambda unrestricted base : Nat .
15    (lambda unrestricted columns : Nat .
16      (lambda unrestricted index : Nat .
17        (float32ExactRootKLow columns 1 (specPower base index)
18          rotaryFrequencyResolution))))

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.