linksem 0.7 · OCaml Package

val natural_of_byte : char -> Nat_big_num.num

val read_unsigned_char : 
  'a ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_unsigned_char : Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_unsigned_char_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_unsigned_char_dict : 
  Uint32_wrapper.uint32 Show.show_class

val read_elf32_addr : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf32_addr : Endianness.endianness -> Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf32_addr_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf32_addr_dict : 
  Uint32_wrapper.uint32 Show.show_class

val read_elf64_addr : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint64_wrapper.uint64 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf64_addr : Endianness.endianness -> Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_addr_dict : 
  Uint64_wrapper.uint64 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf64_addr_dict : 
  Uint64_wrapper.uint64 Show.show_class

val read_elf32_half : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf32_half : Endianness.endianness -> Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf32_half_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf32_half_dict : 
  Uint32_wrapper.uint32 Show.show_class

val read_elf64_half : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf64_half : Endianness.endianness -> Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_half_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf64_half_dict : 
  Uint32_wrapper.uint32 Show.show_class

val read_elf32_off : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf32_off : Endianness.endianness -> Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf32_off_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf32_off_dict : 
  Uint32_wrapper.uint32 Show.show_class

val read_elf64_off : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint64_wrapper.uint64 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf64_off : Endianness.endianness -> Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_off_dict : 
  Uint64_wrapper.uint64 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf64_off_dict : 
  Uint64_wrapper.uint64 Show.show_class

val read_elf32_word : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf32_word : Endianness.endianness -> Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf32_word_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf32_word_dict : 
  Uint32_wrapper.uint32 Show.show_class

val read_elf64_word : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint32_wrapper.uint32 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf64_word : Endianness.endianness -> Nat_big_num.num -> char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_word_dict : 
  Uint32_wrapper.uint32 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf64_word_dict : 
  Uint32_wrapper.uint32 Show.show_class

val read_elf32_sword : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Stdlib.Int32.t * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf32_sword : Endianness.endianness -> Stdlib.Int32.t -> char list

val instance_Show_Show_Elf_types_native_uint_elf32_sword_dict : 
  Stdlib.Int32.t Show.show_class

val read_elf64_sword : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Stdlib.Int32.t * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf64_sword : Endianness.endianness -> Stdlib.Int32.t -> char list

val instance_Show_Show_Elf_types_native_uint_elf64_sword_dict : 
  Stdlib.Int32.t Show.show_class

val read_elf64_xword : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Uint64_wrapper.uint64 * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf64_xword : 
  Endianness.endianness ->
  Nat_big_num.num ->
  char list

val instance_Basic_classes_Eq_Elf_types_native_uint_elf64_xword_dict : 
  Uint64_wrapper.uint64 Lem_basic_classes.eq_class

val instance_Show_Show_Elf_types_native_uint_elf64_xword_dict : 
  Uint64_wrapper.uint64 Show.show_class

val read_elf64_sxword : 
  Endianness.endianness ->
  Byte_sequence_wrapper.byte_sequence ->
  (Stdlib.Int64.t * Byte_sequence_wrapper.byte_sequence) Error.error

val bytes_of_elf64_sxword : 
  Endianness.endianness ->
  Stdlib.Int64.t ->
  char list

val instance_Show_Show_Elf_types_native_uint_elf64_sxword_dict : 
  Stdlib.Int64.t Show.show_class