Rational.Rational.sub: def of bend-kit-bignum@0.1.0.0
Import: import bend-kit-bignum@0.1.0.0/rational.bend as Rational
Lines 62-63 of bend-kit-bignum@0.1.0.0/rational.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-bignum@0.1.0.0/rational.bend&start_line=62&end_line=63

import Base

def Rational.sub(a: Rational, b: Rational) -> Rational:
  Rational.add(a, Rational.neg(b))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/rational.bend&name=Rational
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/rational.bend&name=Rational.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/rational.bend&name=Rational.neg