def Rational.low

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

import Base
import bend-kit-bignum@0.1.0.0/bigint.bend as Big

12def Rational.low(p: Big.BigInt & Big.BigInt) -> Rational:
13  (n, d) = p
14  Rational{n, d}