Module Abi_cheri_mips64_capability

val natural_to_byte_pattern_padded_to : Endianness.endianness -> Nat_big_num.num -> Nat_big_num.num -> Byte_pattern.byte_pattern_element list
val abi_cheri_mips64_write_capability_byte_pattern : Endianness.endianness -> 'a -> 'b -> 'c -> 'd -> Nat_big_num.num option -> Nat_big_num.num option -> Nat_big_num.num option -> Byte_pattern.byte_pattern_element list