linksem 0.7 · OCaml Package

type byte_pattern_element = char option

type byte_pattern = byte_pattern_element list

val string_of_byte_pattern : char option list -> string

val make_byte_pattern_revacc : 
  char option list ->
  char list ->
  bool list ->
  char option list

val make_byte_pattern : char list -> bool list -> byte_pattern_element list

val byte_list_to_byte_pattern : char list -> char option list

val init_byte_pattern : Nat_big_num.num -> char option list

val byte_pattern_length : 'a list -> Nat_big_num.num

val relax_byte_pattern_revacc : 
  char option list ->
  char option list ->
  bool list ->
  char option list

val relax_byte_pattern : 
  char option list ->
  bool list ->
  byte_pattern_element list

type pad_fn = Nat_big_num.num -> char list

val concretise_byte_pattern' : 
  char list ->
  Nat_big_num.num ->
  char option list ->
  (Nat_big_num.num -> char list) ->
  char list

val concretise_byte_pattern : 
  char option list ->
  (Nat_big_num.num -> char list) ->
  Byte_sequence_wrapper.byte_sequence

val byte_option_matches_byte : 'a option -> 'a -> bool

val byte_list_matches_pattern : 'a option list -> 'a list -> bool

val append_to_byte_pattern_at_offset : 
  Nat_big_num.num ->
  char option list ->
  char option list ->
  char option list

val accum_pattern_possible_starts_in_one_byte_sequence : 
  'a option list ->
  Nat_num.nat ->
  'a list ->
  Nat_num.nat ->
  Nat_big_num.num ->
  Nat_big_num.num list ->
  Nat_big_num.num list

val byte_pattern_of_byte_sequence : 
  Byte_sequence_wrapper.byte_sequence ->
  char option list

val byte_pattern_to_byte_list : char option list -> char list

val byte_pattern_to_byte_sequence : 
  char option list ->
  Byte_sequence_wrapper.byte_sequence

val byte_pattern_skip : Nat_big_num.num -> char option list -> char option list

val write_byte_pattern : 
  char option list ->
  Nat_big_num.num ->
  char option list ->
  char option list

val read_byte_pattern : 
  char option list ->
  Nat_big_num.num ->
  Nat_big_num.num ->
  char option list

package linksem