def Rational.make.if

bend-kit-bignum@0.1.0.0 · rational.bend:23

import bend-kit-bignum@0.1.0.0/rational.bend as Rational
import 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)}

Uses (5)

Used by (1)