1signature riscv_decompLib =
2sig
3    val riscv_decompile: string -> string quotation -> Thm.thm * Thm.thm
4    val riscv_tools: helperLib.decompiler_tools
5end
6