Arch
val command_line_options : (string * Arg.spec * string) list
type specific_operation =
| Ilea of addressing_mode |
| Istore_int of nativeint * addressing_mode * bool |
| Ioffset_loc of int * addressing_mode |
| Ifloatarithmem of float_operation * addressing_mode |
| Ibswap of int |
| Isqrtf |
| Ifloatsqrtf of addressing_mode |
| Isextend32 |
| Izextend32 |
val identity_addressing : addressing_mode
val offset_addressing : addressing_mode -> int -> addressing_mode
val num_args_addressing : addressing_mode -> int
val print_addressing : (Format.formatter -> 'a -> unit) -> addressing_mode -> Format.formatter -> 'a array -> unit
val print_specific_operation : (Format.formatter -> 'a -> unit) -> specific_operation -> Format.formatter -> 'a array -> unit