1signature arm_progLib = 2sig 3 val addInstructionClass: string -> unit 4 5 val arm_config: string -> string -> unit 6 val arm_spec: string -> Thm.thm list 7 val arm_spec_code: string quotation -> Thm.thm list list 8 val arm_spec_hex: string -> Thm.thm list 9 10 val change_config_rule: Drule.rule 11 12 val set_newline: string -> unit 13end 14