Native-word runtime access for configured posits #
These wrappers expose the direct word view and certified packing operation used by fixed-word posit kernels.
@[inline]
def
FloatLib.Floats.Formats.Posit.Configured.NativeCode.word
{format : Format}
{plan : StoragePlan format}
[NativeCode format plan]
(code : Code plan)
:
Zero-extend through the native storage capability.
Instances For
@[inline]
def
FloatLib.Floats.Formats.Posit.Configured.NativeCode.pack
{format : Format}
{plan : StoragePlan format}
[NativeCode format plan]
(bits : ℕ)
(hbits : bits < format.modulus)
:
Code plan
Pack a certified in-range result through the built-in carrier capability.