aftermath ~main (2022-05-05T22:46:53.7825141)
Dub
Repo
Posit16
aftermath
Undocumented in source.
alias
Posit16
=
Posit
!(16, 1)
Meta
Source
See Implementation
aftermath
aliases
Posit16
Posit32
Posit8
SoftFloat