31family AdamWF32SM86ABI : Type 0
32constructor AdamWF32SM86ABIValue
33field unrestricted adamWF32ABIParameterPointerOffset : Nat
34field unrestricted adamWF32ABIGradientPointerOffset : Nat
35field unrestricted adamWF32ABIFirstMomentPointerOffset : Nat
36field unrestricted adamWF32ABISecondMomentPointerOffset : Nat
37field unrestricted adamWF32ABIGradientScaleOffset : Nat
38field unrestricted adamWF32ABIBeta1Offset : Nat
39field unrestricted adamWF32ABIOneMinusBeta1Offset : Nat
40field unrestricted adamWF32ABIBeta2Offset : Nat
41field unrestricted adamWF32ABIOneMinusBeta2Offset : Nat
42field unrestricted adamWF32ABIDecayMultiplierOffset : Nat
43field unrestricted adamWF32ABICorrectedStepSizeOffset : Nat
44field unrestricted adamWF32ABIScaledEpsilonOffset : Nat
45field unrestricted adamWF32ABIFP32OneOffset : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.