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