def err

bend-collections-laws-crypto@1.0.0.0 · spec/math/generic.bend:74

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

74def err(e: M.MathError) -> N.NumError:
75  match e:
76    case M.ZeroDivision{}:
77      N.DivByZero{}
78    case M.Domain{}:
79      N.BadDomain{}
80    case M.NotInvertible{}:
81      N.NoInverse{}