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