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