package linksem
-
linksem_zarith
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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.
val hex_string_of_big_int_no_padding : Nat_big_num.num -> stringval unsafe_hex_string_of_natural : int -> Nat_big_num.num -> stringval unsafe_hex_string_of_uc_list : Uint32_wrapper.uint32 list -> string