def StrataDDM.ByteArray.zeros (n : Nat) : ByteArray

Equations

• StrataDDM.ByteArray.zeros n = n.fold (fun (x : Nat) (x_1 : x < n) (a : ByteArray) => a.push 0) (ByteArray.emptyWithCapacity n)

def Ion.binaryVersionMarker (major : UInt8 := 1) (minor : UInt8 := 0) : ByteArray

Create binary version marker

Equations

• Ion.binaryVersionMarker major minor = { data := #[224, major, minor, 234] }

def Ion.serialize (values : Array (Ion SymbolId)) : ByteArray

Equations

• One or more equations did not get rendered due to their size.