aboutsummaryrefslogtreecommitdiff
path: root/theories/Floats/FloatClass.v
blob: 627cb648f9655097643b82dd544308b77d70ac85 (plain) 
1
2

Variant float_class : Set :=
  | PNormal | NNormal | PSubn | NSubn | PZero | NZero | PInf | NInf | NaN.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-04 21:59:46 +0000