package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
type byte_pattern_compare_result =
  1. | BytePatternMatch
  2. | BytePatternMismatch of Nat_big_num.num * string
val 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
val compare_byte_pattern : char option list -> char option list -> byte_pattern_compare_result
val print_byte_pattern_line' : Nat_big_num.num -> Nat_big_num.num -> char option list -> unit
val print_byte_pattern_line : Nat_big_num.num -> Byte_pattern.byte_pattern -> unit
val fixed_hex_string_of_natural : Nat_big_num.num -> Nat_big_num.num -> string
val print_byte_pattern_addr_size : Nat_big_num.num
val print_byte_pattern_line_size : Nat_big_num.num
val print_byte_pattern : Nat_big_num.num -> Byte_pattern.byte_pattern_element list -> unit
val print_two_byte_patterns : Nat_big_num.num -> Byte_pattern.byte_pattern_element list -> Byte_pattern.byte_pattern_element list -> unit