package linksem

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val string_of_unix_time : Nat_big_num.num -> string

val hex_string_of_nat_pad2 : int -> string

val hex_string_of_big_int_pad6 : Nat_big_num.num -> string

val hex_string_of_big_int_pad7 : Nat_big_num.num -> string

val hex_string_of_big_int_pad2 : Nat_big_num.num -> string

val hex_string_of_big_int_pad4 : Nat_big_num.num -> string

val hex_string_of_big_int_pad5 : Nat_big_num.num -> string

val hex_string_of_big_int_pad8 : Nat_big_num.num -> string

val hex_string_of_big_int_pad16 : Nat_big_num.num -> string

val hex_string_of_big_int_no_padding : Nat_big_num.num -> string

val bytes_of_int32 : Int32.t -> 'a

val bytes_of_int64 : Int64.t -> 'a

val int32_of_quad : char -> char -> char -> char -> int32

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

val decimal_string_of_int64 : int64 -> string

val hex_string_of_int64 : Int64.t -> string

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

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

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

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

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

val argv_list : string list

val nat_big_num_of_uint64 : 'a -> 'a

val split_string_on_char : string -> char -> string list

val string_replace : string -> string -> string -> string