Lines Matching defs:instruction
114 datatype instruction
139 | OK of (BitsN.nbit * string) * instruction
140 | PENDING of string * ((BitsN.nbit * string) * instruction)
402 val Run: instruction -> unit
405 val DecodeThumb: BitsN.nbit -> instruction
406 val DecodeThumb2: (BitsN.nbit * BitsN.nbit) -> instruction
407 val Decode: MachineCode -> instruction
419 (BitsN.nbit * (instruction * enc)) -> maybeMachineCode
421 val Encode: (BitsN.nbit * (instruction * enc)) -> maybeMachineCode
480 (Nat.nat * (BitsN.nbit * (BitsN.nbit * offset))) -> instruction
493 val p_noarg: (string * instruction) -> maybe_instruction
529 val instructionToString: (BitsN.nbit * instruction) -> (string * string)