Value display of codebook formats #
A codebook value prints the table entry it denotes, so toString and #eval of a P3109 value
show its exact dyadic value, inf, -inf or nan rather than its stored word.
@[instance_reducible]
instance
FloatLib.Floats.ExecFloat.Codebook.instFormatDisplayFamilyOfToString
{width : ℕ}
{α : Type u}
[ToString α]
(book : Formats.Codebook width α)
:
FormatDisplay (Family book)
Codebook values print their denotation, using the text of the table's scalars.