Generic.err: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/spec/math/generic.bend as Generic
Lines 74-81 of bend-collections-laws-crypto@1.0.0.0/spec/math/generic.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/math/generic.bend&start_line=74&end_line=81

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as M

def err(e: M.MathError) -> N.NumError:
  match e:
    case M.ZeroDivision{}:
      N.DivByZero{}
    case M.Domain{}:
      N.BadDomain{}
    case M.NotInvertible{}:
      N.NoInverse{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend&name=MathError
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/math/num.bend&name=NumError