package linksem

You can search for identifiers within the package.

in-package search v0.2.0

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

Module `Ml_bindings`Source

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