Module Abi_mips64_dynamic

val abi_mips64_dt_rld_version : Nat_big_num.num
val abi_mips64_dt_time_stamp : Nat_big_num.num
val abi_mips64_dt_ichecksum : Nat_big_num.num
val abi_mips64_dt_iversion : Nat_big_num.num
val abi_mips64_dt_flags : Nat_big_num.num
val abi_mips64_dt_base_address : Nat_big_num.num
val abi_mips64_dt_msym : Nat_big_num.num
val abi_mips64_dt_conflict : Nat_big_num.num
val abi_mips64_dt_liblist : Nat_big_num.num
val abi_mips64_dt_local_gotno : Nat_big_num.num
val abi_mips64_dt_conflictno : Nat_big_num.num
val abi_mips64_dt_liblistno : Nat_big_num.num
val abi_mips64_dt_symtabno : Nat_big_num.num
val abi_mips64_dt_unrefextno : Nat_big_num.num
val abi_mips64_dt_gotsym : Nat_big_num.num
val abi_mips64_dt_hipageno : Nat_big_num.num
val abi_mips64_dt_rld_map : Nat_big_num.num
val abi_mips64_dt_delta_class : Nat_big_num.num
val abi_mips64_dt_delta_class_no : Nat_big_num.num
val abi_mips64_dt_delta_instance : Nat_big_num.num
val abi_mips64_dt_delta_instance_no : Nat_big_num.num
val abi_mips64_dt_delta_reloc : Nat_big_num.num
val abi_mips64_dt_delta_reloc_no : Nat_big_num.num
val abi_mips64_dt_delta_sym : Nat_big_num.num
val abi_mips64_dt_delta_sym_no : Nat_big_num.num
val abi_mips64_dt_delta_classsym : Nat_big_num.num
val abi_mips64_dt_delta_classsym_no : Nat_big_num.num
val abi_mips64_dt_cxx_flags : Nat_big_num.num
val abi_mips64_dt_pixie_init : Nat_big_num.num
val abi_mips64_dt_symbol_lib : Nat_big_num.num
val abi_mips64_dt_localpage_gotidx : Nat_big_num.num
val abi_mips64_dt_local_gotidx : Nat_big_num.num
val abi_mips64_dt_hidden_gotidx : Nat_big_num.num
val abi_mips64_dt_protected_gotidx : Nat_big_num.num
val abi_mips64_dt_options : Nat_big_num.num
val abi_mips64_dt_interface : Nat_big_num.num
val abi_mips64_dt_dynstr_align : Nat_big_num.num
val abi_mips64_dt_interface_size : Nat_big_num.num
val abi_mips64_dt_rld_text_resolve_addr : Nat_big_num.num
val abi_mips64_dt_perf_suffix : Nat_big_num.num
val abi_mips64_dt_compact_size : Nat_big_num.num
val abi_mips64_dt_gp_value : Nat_big_num.num
val abi_mips64_dt_aux_dynamic : Nat_big_num.num
val abi_mips64_dt_pltgot : Nat_big_num.num
val abi_mips64_dt_rwplt : Nat_big_num.num
val abi_mips64_dt_rld_map_rel : Nat_big_num.num
val abi_mips64_dt_num : Nat_big_num.num
val string_of_abi_mips64_dynamic_tag : Nat_big_num.num -> string
val abi_mips64_tag_correspondence_of_tag : Nat_big_num.num -> Elf_dynamic.tag_correspondence Error.error
val abi_mips64_elf64_value_of_elf64_dyn : Elf_dynamic.elf64_dyn -> 'a -> (Uint64_wrapper.uint64Uint64_wrapper.uint64) Elf_dynamic.dyn_value Error.error