def ar_top
import bend-collections@1.0.0.0/src/math/f64.bend as F64import Base
import bend-collections@1.0.0.0/src/math/num.bend as N
1235def ar_top(isn: Bool) -> Result<&2, &2, N.NumError, Ratio>:
1236 match isn:
1237 case True{}:
1238 Fail{N.BadDomain{}}
1239 case False{}:
1240 Fail{N.Overflow{}}