package linksem

You can search for identifiers within the package.

in-package search v0.2.0

A formalisation of the core ELF and DWARF file formats written in Lem

Install

md5=2075c56715539b3b8f54ae65cc808b8c

sha512=f7c16e4036a1440a6a8d13707a43f0f9f9db0c68489215f948cc300b6a164dba5bf852e58f89503e9d9f38180ee658d9478156ca1a1ef64d6861eec5f9cf43d2

Sourceval string_of_unix_time : Nat_big_num.num -> string

Sourceval hex_string_of_nat_pad2 : int -> string

Sourceval hex_string_of_big_int_pad6 : Nat_big_num.num -> string

Sourceval hex_string_of_big_int_pad7 : Nat_big_num.num -> string

Sourceval hex_string_of_big_int_pad2 : Nat_big_num.num -> string

Sourceval hex_string_of_big_int_pad4 : Nat_big_num.num -> string

Sourceval hex_string_of_big_int_pad5 : Nat_big_num.num -> string

Sourceval hex_string_of_big_int_pad8 : Nat_big_num.num -> string

Sourceval hex_string_of_big_int_pad16 : Nat_big_num.num -> string

Sourceval hex_string_of_big_int_no_padding : Nat_big_num.num -> string

Sourceval bytes_of_int32 : Int32.t -> 'a

Sourceval bytes_of_int64 : Int64.t -> 'a

Sourceval int32_of_quad : char -> char -> char -> char -> int32

val int64_of_oct : 
  char ->
  char ->
  char ->
  char ->
  char ->
  char ->
  char ->
  char ->
  int64

Sourceval decimal_string_of_int64 : int64 -> string

Sourceval hex_string_of_int64 : Int64.t -> string

Sourceval string_suffix : Nat_big_num.num -> string -> string option

Sourceval string_prefix : Nat_big_num.num -> string -> string option

Sourceval string_index_of : char -> string -> Nat_big_num.num option

Sourceval find_substring : string -> string -> Nat_big_num.num option

Sourceval list_index_big_int : Nat_big_num.num -> 'a list -> 'a option

Sourceval argv_list : string list

Sourceval nat_big_num_of_uint64 : 'a -> 'a

Sourceval split_string_on_char : string -> char -> string list

Sourceval string_replace : string -> string -> string -> string