1signature file_readerLib =
2sig
3
4  datatype arch = ARM | M0 | RISCV
5
6  val arch_name : arch ref
7  val int_to_hex : int -> string
8  val get_tools : unit -> helperLib.decompiler_tools
9  val arm_spec : string -> helperLib.instruction
10  val m0_spec : string -> helperLib.instruction
11  val riscv_spec : string -> helperLib.instruction
12  val read_files : string -> string list -> unit
13  val section_body : string -> (int * string * string) list
14  val section_io : string -> int list * int * bool
15  val section_location : string -> string
16  val section_names : unit -> string list
17  val show_annotated_code : (int -> string) -> string -> unit
18  val show_code : string -> unit
19
20  val tysize : unit -> Type.hol_type
21  val wsize  : unit -> Type.hol_type
22
23end
24