package linksem

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type elf32_relocation = {
  1. elf32_r_offset : Uint32_wrapper.uint32;
  2. elf32_r_info : Uint32_wrapper.uint32;
}
type elf32_relocation_a = {
  1. elf32_ra_offset : Uint32_wrapper.uint32;
  2. elf32_ra_info : Uint32_wrapper.uint32;
  3. elf32_ra_addend : Int32.t;
}
type elf64_relocation = {
  1. elf64_r_offset : Uint64_wrapper.uint64;
  2. elf64_r_info : Uint64_wrapper.uint64;
}
type elf64_relocation_a = {
  1. elf64_ra_offset : Uint64_wrapper.uint64;
  2. elf64_ra_info : Uint64_wrapper.uint64;
  3. elf64_ra_addend : Int64.t;
}
val elf64_relocation_a_compare : elf64_relocation_a -> elf64_relocation_a -> int
val instance_Basic_classes_Ord_Elf_relocation_elf64_relocation_a_dict : elf64_relocation_a Lem_basic_classes.ord_class