AlphaGitHub
Source/Packages

Component.RotaryFrequency

packages/components/src/Component/RotaryFrequency.alpha

53 lines6 declarations2.3 KiBSHA-256 ce1755978b08
Download exact fileView at revisionf5034773ad4bb52133

def · lines 12–17

rotaryFrequencyRoot

Full file
12def rotaryFrequencyRoot =
13  (lambda unrestricted base : Nat .
14    (lambda unrestricted columns : Nat .
15      (lambda unrestricted index : Nat .
16        (float32ExactRootKLow columns 1 (specPower base index)
17          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.