To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
val layouts : layout list
The list of layouts available to encode
tag layout computes the tag of
Data_encoding.union to be used to encode values classified as
Warning: It is expected that
tag layout < 2^tag_len - 1.
partial_encoding layout returns the encoding to use for values classified as
This encoding can be partial in the sense that it may fail (it will raise an
Invalid_argument) for some values of
x. However, it is expected that
partial_encoding (classify x) x will always succeed.