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