val print_nat8_dec: x:nat{x <= maxint U8} -> FStar.All.ML unit
let print_nat8_dec x =
  IO.print_uint8_dec (u8_to_UInt8 (u8 x))
val print_nat8_dec: x:nat{x <= maxint U8} -> FStar.All.ML unit
let print_nat8_dec x =
IO.print_uint8_dec (u8_to_UInt8 (u8 x))
Lib.PrintSequence.fst.checked
prims.fst.checked Lib.Sequence.fsti.checked Lib.RawIntTypes.fsti.checked Lib.LoopCombinators.fsti.checked Lib.IntTypes.fsti.checked Lib.ByteSequence.fsti.checked FStar.Pervasives.fsti.checked FStar.Mul.fst.checked FStar.List.Tot.fst.checked FStar.List.fst.checked FStar.IO.fst.checked
Lib.PrintSequence.fst
Prims.nat Prims.b2t Prims.op_LessThanOrEqual Lib.IntTypes.maxint Lib.IntTypes.U8 FStar.IO.print_uint8_dec Lib.RawIntTypes.u8_to_UInt8 Lib.IntTypes.u8 Prims.unit
module Lib.PrintSequence

open FStar.Mul
open Lib.IntTypes
open Lib.RawIntTypes
open Lib.Sequence
open Lib.ByteSequence
open Lib.LoopCombinators



let print_nat8_hex x =
  IO.print_uint8 (u8_to_UInt8 (u8 x))

let print_nat8_hex_pad x =
  IO.print_uint8_hex_pad (u8_to_UInt8 (u8 x))
val print_nat8_dec: x:nat{x <= maxint U8} -> FStar.All.ML unit
x: Prims.nat{x <= Lib.IntTypes.maxint Lib.IntTypes.U8} -> FStar.All.ML Prims.unit