Module Abi_cheri_mips64_dynamic

val abi_cheri_dt___caprelocs : Nat_big_num.num
val abi_cheri_dt___caprelocssz : Nat_big_num.num
val string_of_abi_cheri_dynamic_tag : Nat_big_num.num -> string option
val string_of_abi_cheri_mips64_dynamic_tag : Nat_big_num.num -> string
val abi_cheri_tag_correspondence_of_tag : Nat_big_num.num -> Elf_dynamic.tag_correspondence Error.error
val abi_cheri_mips64_tag_correspondence_of_tag : Nat_big_num.num -> Elf_dynamic.tag_correspondence Error.error
val abi_cheri_elf64_value_of_elf64_dyn : Elf_dynamic.elf64_dyn -> 'a -> (Uint64_wrapper.uint64Uint64_wrapper.uint64) Elf_dynamic.dyn_value Error.error
val abi_cheri_mips64_elf64_value_of_elf64_dyn : Elf_dynamic.elf64_dyn -> 'a -> Elf_dynamic.elf64_dyn_value Error.error