def Rational.read.frac

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

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

95def Rational.read.frac(a: Maybe<&2, Big.BigInt>, b: Maybe<&2, Big.BigInt>) ->
96  Maybe<&2, Rational>:
97  match a b:
98    case Some{n} Some{d}:
99      Rational.make(n, d)
100    case _ _:
101      None{}

Uses (4)

Used by (1)