partial def Cryptlib.Util.ByteArray.ByteArray.to_be32 (x : ByteArray) (i : Nat := 0) (out : Array UInt32 := #[]) : Array UInt32

partial def Cryptlib.Util.ByteArray.ByteArray.to_le32 (x : ByteArray) (i : Nat := 0) (out : Array UInt32 := #[]) : Array UInt32

partial def Cryptlib.Util.ByteArray.ByteArray.of_le32 (x : Subarray UInt32) (i : Nat := 0) (out : ByteArray := ByteArray.emptyWithCapacity (Std.Slice.size x * 4)) : ByteArray

partial def Cryptlib.Util.ByteArray.ByteArray.of_be32 (x : Subarray UInt32) (i : Nat := 0) (out : ByteArray := ByteArray.emptyWithCapacity (Std.Slice.size x * 4)) : ByteArray

partial def Cryptlib.Util.ByteArray.ByteArray.to_be64 (x : ByteArray) (i : Nat := 0) (out : Array UInt64 := #[]) : Array UInt64

partial def Cryptlib.Util.ByteArray.ByteArray.to_le64 (x : ByteArray) (i : Nat := 0) (out : Array UInt64 := #[]) : Array UInt64

partial def Cryptlib.Util.ByteArray.ByteArray.of_le64 (x : Subarray UInt64) (i : Nat := 0) (out : ByteArray := ByteArray.emptyWithCapacity (Std.Slice.size x * 8)) : ByteArray

partial def Cryptlib.Util.ByteArray.ByteArray.of_be64 (x : Subarray UInt64) (i : Nat := 0) (out : ByteArray := ByteArray.emptyWithCapacity (Std.Slice.size x * 8)) : ByteArray