190family NativePhysicalProgram : Type 0
191constructor NativePhysicalProgramValue
192field unrestricted nativePhysicalProgramStateExtent : (family ModelWord64)
193field unrestricted nativePhysicalProgramResultSlots : (family ModelWord64)
194field unrestricted nativePhysicalProgramCommands : (family NativePhysicalCommands)
195field unrestricted nativePhysicalProgramExpectedCommands : Nat
196field unrestricted nativePhysicalProgramIdentity : Bytes
197field unrestricted nativePhysicalProgramFallbacks : 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.