def Rational.read.frac
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
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{}