1signature riscv_progLib = 2sig 3 val riscv_config: bool -> unit 4 val riscv_spec: Term.term -> Thm.thm list 5 val riscv_spec_hex: string -> Thm.thm list 6end 7