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 25–32

rotaryFrequencyLow

Full file
25def rotaryFrequencyLow =
26  (lambda unrestricted base : Nat .
27    (lambda unrestricted columns : Nat .
28      (lambda unrestricted index : Nat .
29        (let unrestricted root = (rotaryFrequencyRoot base columns index) in
30          (float32ExactRemainder root (succ root)
31            rotaryFrequencyResolution
32            (rotaryFrequencyHigh base columns index))))))

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.