linksem 0.7 · OCaml Package

val elf32_section_flags0 : 
  Elf_section_header_table.elf32_section_header_table_entry ->
  Nat_big_num.num ->
  bool

val elf64_section_flags0 : 
  Elf_section_header_table.elf64_section_header_table_entry ->
  Nat_big_num.num ->
  bool

val elf32_section_of_type : 
  Elf_section_header_table.elf32_section_header_table_entry ->
  Nat_big_num.num ->
  bool

val elf64_section_of_type : 
  Elf_section_header_table.elf64_section_header_table_entry ->
  Nat_big_num.num ->
  bool

val elf32_segment_of_type : 
  Elf_program_header_table.elf32_program_header_table_entry ->
  Nat_big_num.num ->
  bool

val elf64_segment_of_type : 
  Elf_program_header_table.elf64_program_header_table_entry ->
  Nat_big_num.num ->
  bool

val elf32_section_in_segment1 : 
  Elf_section_header_table.elf32_section_header_table_entry ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  bool

val elf64_section_in_segment1 : 
  Elf_section_header_table.elf64_section_header_table_entry ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  bool

val elf32_section_in_segment2 : 
  Elf_section_header_table.elf32_section_header_table_entry ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  bool

val elf64_section_in_segment2 : 
  Elf_section_header_table.elf64_section_header_table_entry ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  bool

val elf32_sect_size : 
  Elf_header.elf32_header ->
  Elf_section_header_table.elf32_section_header_table_entry ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  Nat_big_num.num

val elf64_sect_size : 
  Elf_header.elf64_header ->
  Elf_section_header_table.elf64_section_header_table_entry ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  Nat_big_num.num

val elf32_section_in_segment3 : 
  Elf_header.elf32_header ->
  Elf_section_header_table.elf32_section_header_table_entry ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  bool

val elf64_section_in_segment3 : 
  Elf_header.elf64_header ->
  Elf_section_header_table.elf64_section_header_table_entry ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  bool

val elf32_section_in_segment4 : 
  Elf_header.elf32_header ->
  Elf_section_header_table.elf32_section_header_table_entry ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  bool

val elf64_section_in_segment4 : 
  Elf_header.elf64_header ->
  Elf_section_header_table.elf64_section_header_table_entry ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  bool

val elf32_section_in_segment5 : 
  Elf_section_header_table.elf32_section_header_table_entry ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  bool

val elf64_section_in_segment5 : 
  Elf_section_header_table.elf64_section_header_table_entry ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  bool

val elf32_section_in_segment : 
  Elf_header.elf32_header ->
  Elf_section_header_table.elf32_section_header_table_entry ->
  Elf_program_header_table.elf32_program_header_table_entry ->
  bool

val elf64_section_in_segment : 
  Elf_header.elf64_header ->
  Elf_section_header_table.elf64_section_header_table_entry ->
  Elf_program_header_table.elf64_program_header_table_entry ->
  bool

package linksem