package linksem

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Abi_cheri_mips64_relocation`Source

Sourceval r_mips_cheri_absptr : Nat_big_num.num

Sourceval r_mips_cheri_size : Nat_big_num.num

Sourceval r_mips_cheri_capability : Nat_big_num.num

Sourceval string_of_cheri_mips_relocation_subtype : Nat_big_num.num -> string

Sourceval 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

Sourceval abi_cheri_mips64_function_reloc_flag : Nat_big_num.num

Sourcetype cheri_mips64_cap_reloc = {

}

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

Sourceval cheri_mips64_cap_reloc_is_function : cheri_mips64_cap_reloc -> bool