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 int32_of_quad : char -> char -> char -> char -> int32 Sourceval int64_of_oct :
char ->
char ->
char ->
char ->
char ->
char ->
char ->
char ->
int64 Sourceval decimal_string_of_int64 : int64 -> 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