Type Alias: AbstractIntervalBound
@kortexya/reasoninglayer / AbstractIntervalBound
Type Alias: AbstractIntervalBound
Section titled “Type Alias: AbstractIntervalBound”AbstractIntervalBound =
"NegInf"| {Real:number; } |"Inf"
Defined in: src/types/verification.ts:190
A scalar interval bound: -∞, a finite real, or +∞.
Remarks
Section titled “Remarks”Externally tagged on the wire: "NegInf", { "Real": 1.5 }, "Inf". A
finite bound must not be NaN.