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