MichelsonNoArgInstruction: Instr0<MichelsonNoArgInstructionID>