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