package linksem

You can search for identifiers within the package.

in-package search v0.2.0

linksem_zarith

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Format a CHERI256 capability.