1signature arm8_progLib = 2sig 3 val arm8_config: string -> unit 4 val arm8_spec: string -> Thm.thm list 5 val arm8_spec_code: string quotation -> Thm.thm list list 6 val arm8_spec_hex: string -> Thm.thm list 7end 8