def ic_tol

bend-collections-laws-crypto@1.0.0.0 · src/math/f64.bend:1182

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N

1182def ic_tol(+a: F64, +b: F64, +rel: F64, +at: F64, bad: Bool) -> Result<&2, &2, N.NumError, Bool>:
1183  match bad:
1184    case True{}:
1185      Fail{N.BadDomain{}}
1186    case False{}:
1187      Done{ic_eq(a, b, rel, at, eq(a, b))}