package linksem

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val r_mips_cheri_absptr : Nat_big_num.num

val r_mips_cheri_size : Nat_big_num.num

val r_mips_cheri_capability : Nat_big_num.num

val string_of_cheri_mips_relocation_subtype : Nat_big_num.num -> string

val string_of_cheri_mips64_relocation_type : Nat_big_num.num -> string

val cheri_mips64_reloc : 
  Nat_big_num.num ->
  bool * 'abifeature Memory_image.reloc_apply_fn

val abi_cheri_mips64_function_reloc_flag : Nat_big_num.num

type cheri_mips64_cap_reloc = {

}

val read_cheri_mips64_cap_relocs : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  cheri_mips64_cap_reloc list Error.error

val cheri_mips64_cap_reloc_is_function : cheri_mips64_cap_reloc -> bool