147family StdTolerance : Type 0
148constructor StdToleranceOf
149field unrestricted stdToleranceAbsoluteBits : Nat
150field unrestricted stdToleranceRelativeBits : Nat
151field unrestricted stdToleranceUlp : Nat
152field unrestricted stdToleranceNanPolicy : (family StdNanPolicy)
153field unrestricted stdToleranceZeroPolicy : (family StdZeroPolicy)
154field unrestricted stdToleranceAggregation : (family StdErrorAggregation)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.