91family AdamWF32SM86Plan : Type 0
92constructor AdamWF32SM86PlanValue
93field unrestricted adamWF32PlanVariant : (family AdamWF32SM86Variant)
94field unrestricted adamWF32PlanLogicalElements : Nat
95field unrestricted adamWF32PlanProgram : (family SM86Program)
96field unrestricted adamWF32PlanTelemetry : (family AdamWF32SM86Telemetry)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.