package linksem

  1. Overview
  2. Docs
Legend:
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 -> string
val unsafe_hex_string_of_natural : int -> Nat_big_num.num -> string
val unsafe_hex_string_of_uc_list : Uint32_wrapper.uint32 list -> string
OCaml

Innovation. Community. Security.