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