package linksem

  1. Overview
  2. Docs
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.

OCaml

Innovation. Community. Security.