def Rational.make.if
import bend-kit-bignum@0.1.0.0/rational.bend as Rationalimport Base
import bend-kit-bignum@0.1.0.0/bigint.bend as Big
23def Rational.make.if(z: Bool, n: Big.BigInt, d: Big.BigInt) ->
24 Maybe<&2, Rational>:
25 match z:
26 case True{}:
27 None{}
28 case False{}:
29 Some{Rational.norm(n, d)}