Lines Matching defs:instruction
354 datatype instruction
372 | OK of instruction
373 | PENDING of string * instruction
728 val Run: instruction -> unit
730 val NoOperation: instruction
737 instruction
748 instruction
754 instruction
764 instruction
772 instruction
781 instruction
788 instruction
789 val Decode: BitsN.nbit -> instruction
820 val Encode: instruction -> MachineCode
964 val instructionToString: instruction -> (string * string)