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