let bytes32 = B32.bytes
let bytes32 =
B32.bytes
LowParse.SLow.Base.fst.checked
prims.fst.checked LowParse.Spec.Base.fsti.checked LowParse.Bytes32.fst.checked FStar.UInt32.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.Classical.fsti.checked FStar.Bytes.fsti.checked
LowParse.SLow.Base.fst
FStar.Bytes.bytes
module LowParse.SLow.Base
include LowParse.Spec.Base

module B32 = LowParse.Bytes32
module U32 = FStar.UInt32
val bytes32 : t: Type0{Prims.hasEq t}
t: Type0{Prims.hasEq t}