Up – Package index » linksem » Library linksem_num » Hex_printing

Module `Hex_printing`Source

hex_printing is a utility module for converting natural numbers and integers * into hex strings of various widths. Split into a new module as both the * validation code and the main program need this functionality.

Sourceval hex_string_of_big_int_no_padding : Nat_big_num.num -> string

Sourceval unsafe_hex_string_of_natural : int -> Nat_big_num.num -> string

Sourceval unsafe_hex_string_of_uc_list : Uint32_wrapper.uint32 list -> string