package linksem

You can search for identifiers within the package.

in-package search v0.2.0

package linksem

linksem

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Byte_pattern`Source

Sourcetype byte_pattern_element = char option

A byte pattern element can be undefined if it doesn't have a known fixed value.

Sourcetype byte_pattern = byte_pattern_element list

Sourceval string_of_byte_pattern : char option list -> string

Source

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

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

Sourceval byte_list_to_byte_pattern : char list -> char option list

Sourceval init_byte_pattern : Nat_big_num.num -> char option list

Sourceval byte_pattern_length : 'a list -> Nat_big_num.num

Source

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

Source

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

Sourcetype pad_fn = Nat_big_num.num -> char list

Source

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

Source

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

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

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

Source

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

Source

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

Source

val byte_pattern_of_byte_sequence : 
  Byte_sequence_wrapper.byte_sequence ->
  char option list

Sourceval byte_pattern_to_byte_list : char option list -> char list

Source

val byte_pattern_to_byte_sequence : 
  char option list ->
  Byte_sequence_wrapper.byte_sequence

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

Source

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

Source

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

package linksem

Module Byte_patternSource

Module `Byte_pattern`Source