package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val abi_cheri_dt___caprelocs : Nat_big_num.num

start of __cap_relocs section

val abi_cheri_dt___caprelocssz : Nat_big_num.num

start of __cap_relocs section

size of __cap_relocs section

val string_of_abi_cheri_dynamic_tag : Nat_big_num.num -> string option
val string_of_abi_cheri_mips64_dynamic_tag : Nat_big_num.num -> string
val abi_cheri_tag_correspondence_of_tag : Nat_big_num.num -> Elf_dynamic.tag_correspondence Error.error
val abi_cheri_mips64_tag_correspondence_of_tag : Nat_big_num.num -> Elf_dynamic.tag_correspondence Error.error
val abi_cheri_mips64_elf64_value_of_elf64_dyn : Elf_dynamic.elf64_dyn -> 'a -> Elf_dynamic.elf64_dyn_value Error.error
OCaml

Innovation. Community. Security.