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