linksem 0.7 · OCaml Package

val elf_dt_gnu_addrrnghi : Nat_big_num.num

val elf_dt_gnu_addrrnglo : Nat_big_num.num

val elf_dt_gnu_auxiliary : Nat_big_num.num

val elf_dt_gnu_filter : Nat_big_num.num

val elf_dt_gnu_num : Nat_big_num.num

val elf_dt_gnu_posflag_1 : Nat_big_num.num

val elf_dt_gnu_relcount : Nat_big_num.num

val elf_dt_gnu_relacount : Nat_big_num.num

val elf_dt_gnu_syminent : Nat_big_num.num

val elf_dt_gnu_syminfo : Nat_big_num.num

val elf_dt_gnu_syminsz : Nat_big_num.num

val elf_dt_gnu_valrnghi : Nat_big_num.num

val elf_dt_gnu_valrnglo : Nat_big_num.num

val elf_dt_gnu_verdef : Nat_big_num.num

val elf_dt_gnu_verdefnum : Nat_big_num.num

val elf_dt_gnu_verneed : Nat_big_num.num

val elf_dt_gnu_verneednum : Nat_big_num.num

val elf_dt_gnu_versym : Nat_big_num.num

val elf_dt_gnu_hash : Nat_big_num.num

val elf_dt_gnu_flags_1 : Nat_big_num.num

val elf_dt_gnu_checksum : Nat_big_num.num

val elf_dt_gnu_prelinked : Nat_big_num.num

val gnu_df_1_now : Nat_big_num.num

val gnu_df_1_global : Nat_big_num.num

val gnu_df_1_group : Nat_big_num.num

val gnu_df_1_nodelete : Nat_big_num.num

val gnu_df_1_loadfltr : Nat_big_num.num

val gnu_df_1_initfirst : Nat_big_num.num

val gnu_df_1_noopen : Nat_big_num.num

val gnu_df_1_origin : Nat_big_num.num

val gnu_df_1_direct : Nat_big_num.num

val gnu_df_1_trans : Nat_big_num.num

val gnu_df_1_interpose : Nat_big_num.num

val gnu_df_1_nodeflib : Nat_big_num.num

val gnu_df_1_nodump : Nat_big_num.num

val gnu_df_1_confalt : Nat_big_num.num

val gnu_df_1_endfiltee : Nat_big_num.num

val gnu_df_1_dispreldne : Nat_big_num.num

val gnu_df_1_disprelpnd : Nat_big_num.num

val gnu_string_of_dt_flag_1 : Nat_big_num.num -> string

val gnu_ext_os_additional_ranges : Nat_big_num.num -> bool

val gnu_ext_tag_correspondence_of_tag0 : 
  Nat_big_num.num ->
  Elf_dynamic.tag_correspondence Error.error

val gnu_ext_tag_correspondence_of_tag : 
  Nat_big_num.num ->
  Elf_dynamic.tag_correspondence Error.error

val gnu_ext_elf32_value_of_elf32_dyn0 : 
  Elf_dynamic.elf32_dyn ->
  'a ->
  (Uint32_wrapper.uint32, Uint32_wrapper.uint32) Elf_dynamic.dyn_value
    Error.error

val gnu_ext_elf64_value_of_elf64_dyn0 : 
  Elf_dynamic.elf64_dyn ->
  'a ->
  (Uint64_wrapper.uint64, Uint64_wrapper.uint64) Elf_dynamic.dyn_value
    Error.error

val gnu_ext_elf32_value_of_elf32_dyn : 
  Elf_dynamic.elf32_dyn ->
  'a ->
  Elf_dynamic.elf32_dyn_value Error.error

val gnu_ext_elf64_value_of_elf64_dyn : 
  Elf_dynamic.elf64_dyn ->
  'a ->
  Elf_dynamic.elf64_dyn_value Error.error

val string_of_gnu_ext_dynamic_tag0 : Nat_big_num.num -> string

val string_of_gnu_ext_dynamic_tag : Nat_big_num.num -> string

package linksem