A tolerance request is not evidence that a lowering meets it. Exact-order,
bounded per-tensor difference, and an approximate state transition are
distinct semantic choices. The latter two require their own conformance
evidence before this planner can admit execution.
17family NumericalRelation : Type 0
18constructor NumericalExactOrder
19field unrestricted numericalOrderIdentity : Bytes
20constructor NumericalBoundedDifference
21field unrestricted numericalReferenceIdentity : Bytes
22field unrestricted numericalNormIdentity : Bytes
23field unrestricted numericalTensorSetIdentity : Bytes
24field unrestricted numericalDifferenceTolerance : (family StdTolerance)
25constructor NumericalApproximateTransition
26field unrestricted numericalTransitionIdentity : Bytes
27field unrestricted numericalPersistentStateSchema : BytesThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.