val inst : input_stream_inst t
let inst = inst
val inst : input_stream_inst t
let inst =
inst
EverParse3d.InputStream.All.fst.checked
prims.fst.checked FStar.Pervasives.fsti.checked EverParse3d.InputStream.Buffer.fsti.checked
EverParse3d.InputStream.All.fst
EverParse3d.InputStream.Buffer.inst
module EverParse3d.InputStream.All
open EverParse3d.InputStream.Buffer

let t = t
val inst : input_stream_inst t
EverParse3d.InputStream.Base.input_stream_inst EverParse3d.InputStream.All.t