1signature arm_core_decompLib = 2sig 3 val config_for_arm: unit -> unit 4 val l3_triple: string -> helperLib.instruction 5 val l3_triple_code: string quotation -> helperLib.instruction list 6 val arm_core_decompile: string -> string quotation -> Thm.thm * Thm.thm 7 val arm_core_decompile_code: string -> string quotation -> Thm.thm * Thm.thm 8end 9