package linksem

  1. Overview
  2. Docs

Module Byte_pattern_extraSource

Sourcetype byte_pattern_compare_result =
  1. | BytePatternMatch
  2. | BytePatternMismatch of Nat_big_num.num * string
Sourceval compare_byte_pattern' : 'a Lem_basic_classes.eq_class -> 'a Show.show_class -> Nat_big_num.num -> 'a option list -> 'a option list -> byte_pattern_compare_result
Sourceval compare_byte_pattern : char option list -> char option list -> byte_pattern_compare_result
Sourceval print_byte_pattern_line' : Nat_big_num.num -> Nat_big_num.num -> char option list -> unit
Sourceval print_byte_pattern_line : Nat_big_num.num -> Byte_pattern.byte_pattern -> unit
Sourceval fixed_hex_string_of_natural : Nat_big_num.num -> Nat_big_num.num -> string
Sourceval print_byte_pattern_addr_size : Nat_big_num.num
Sourceval print_byte_pattern_line_size : Nat_big_num.num
Sourceval print_byte_pattern : Nat_big_num.num -> Byte_pattern.byte_pattern_element list -> unit
Sourceval print_two_byte_patterns : Nat_big_num.num -> Byte_pattern.byte_pattern_element list -> Byte_pattern.byte_pattern_element list -> unit