Abi_cheri_mips64_capability (p.linksem.0.8.doc.linksem_zarith.Abi_cheri_mips64

Source

val natural_to_byte_pattern_padded_to : 
  Endianness.endianness ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  Byte_pattern.byte_pattern_element list

Source

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

Format a CHERI256 capability.