Bytes

Immutable byte strings, distinct from Unicode text.
Imports
open Copy;
Table of Contents

Types

ByteString

(type)
Immutable byte strings, distinct from Unicode text.
type ByteString

Functions

empty

def empty : ByteString

append

def append (x : ByteString) (y : ByteString) : ByteString

length

def length (x : ByteString) : Int

decimalInt64

def decimalInt64 (x : Int | x ≥ 0 - 9223372036854775808 && x ≤ 9223372036854775807) : ByteString