Module blc::binary_encoding

Binary encoding for lambda expressions

Enums

Error

An error that can occur if the input stream of "bits" is not valid binary lambda calculus.

Functions

compress	Convert a stream of "bits" into bytes. It is not always reversible with decompress, because it produces full bytes, while the length of its input can be indivisible by 8.
decompress	Convert bytes into "bits" suitable for binary lambda calculus purposes.
from_binary	Parse a binary-encoded lambda Term.
to_binary	Represent a lambda Term in binary.