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