import public Data.Buffer.Core
import public Data.Linear.Tokenrecord Builder : Type -> Type.ptr : Builder q -> AnyPtrbuilder : {default 128 _ : Bits32} -> F1 q (Builder q)withBuilder : {default 128 _ : Bits32} -> (Builder q => F1 q a) -> aputBits8 : Builder q => Bits8 -> F1' qputBits16LE : Builder q => Bits16 -> F1' qputBits16BE : Builder q => Bits16 -> F1' qputBits32LE : Builder q => Bits32 -> F1' qputBits32BE : Builder q => Bits32 -> F1' qputBits64LE : Builder q => Bits64 -> F1' qputBits64BE : Builder q => Bits64 -> F1' qputInt8 : Builder q => Int8 -> F1' qputInt16LE : Builder q => Int16 -> F1' qputInt16BE : Builder q => Int16 -> F1' qputInt32LE : Builder q => Int32 -> F1' qputInt32BE : Builder q => Int32 -> F1' qputInt64LE : Builder q => Int64 -> F1' qputInt64BE : Builder q => Int64 -> F1' qputBytesFrom : Builder q => (offset : Nat) -> (len : Nat) -> IBuffer n -> {auto 0 _ : LTE (offset + len) n} -> F1' qputBytes : Builder q => IBuffer n -> F1' qputAnyBytes : Builder q => AnyBuffer -> F1' qputString : Builder q => String -> F1' qputChar : Builder q => Char -> F1' qputMBytes : Builder q => MBuffer q n -> F1' qgetBytes : Builder q => F1 q AnyBuffergetString : Builder q => F1 q StringfastConcat : List AnyBuffer -> AnyBuffer