1signature m0_core_decompLib = 2sig 3 val config_for_m0: unit -> unit 4 val m0_triple: string -> helperLib.instruction 5 val m0_triple_code: string quotation -> helperLib.instruction list 6 val m0_core_decompile: string -> string quotation -> Thm.thm * Thm.thm 7 val m0_core_decompile_code: string -> string quotation -> Thm.thm * Thm.thm 8end 9