val v (#t #l: _) (u: int_t t l) : GTot (range_t t)
let v #t #l (u: int_t t l) : GTot (range_t t) =
  v u
val v (#t #l: _) (u: int_t t l) : GTot (range_t t)
let v #t #l (u: int_t t l) : GTot (range_t t) =
v u
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 Lib.IntTypes.secrecy_level Lib.IntTypes.int_t Lib.IntTypes.v Lib.IntTypes.range_t
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
val v (#t #l: _) (u: int_t t l) : GTot (range_t t)
u5: Lib.IntTypes.int_t t l -> Prims.GTot (Lib.IntTypes.range_t t)