Expand description
Floating-point type subset (F16/F32/F64) with associated properties. Specification element. Specification element. Frozen floating-point format tags used by verification evidence.
Enums§
- Float
Type - Floating-point type covered by an exhaustive verification pass.