let supported_type = function
  | U8 | U16 | U32 | U64 -> true
  | _ -> false
let supported_type =
function
| U8 | U16 | U32 | U64 -> true
| _ -> false
QUIC.Secret.Int.Base.fst.checked
prims.fst.checked Lib.IntTypes.fsti.checked FStar.UInt8.fsti.checked FStar.UInt64.fsti.checked FStar.UInt32.fsti.checked FStar.UInt16.fsti.checked FStar.Pervasives.fsti.checked
QUIC.Secret.Int.Base.fst
Lib.IntTypes.inttype Prims.bool
module QUIC.Secret.Int.Base
include Lib.IntTypes

module U8 = FStar.UInt8
module U16 = FStar.UInt16
module U32 = FStar.UInt32
module U64 = FStar.UInt64

unfold
let v #t #l (u: int_t t l) : GTot (range_t t) =
  v u
val supported_type : _: Lib.IntTypes.inttype -> Prims.bool
_: Lib.IntTypes.inttype -> Prims.bool