Module Abi_power64_dynamic

val abi_power64_dt_ppcgot : Nat_big_num.num
val string_of_abi_power64_dynamic_tag : Nat_big_num.num -> string
val abi_power64_tag_correspondence_of_tag : Nat_big_num.num -> Elf_dynamic.tag_correspondence Error.error
val abi_power64_elf64_value_of_elf64_dyn : Elf_dynamic.elf64_dyn -> 'a -> (Uint64_wrapper.uint64Uint64_wrapper.uint64) Elf_dynamic.dyn_value Error.error