Searched refs:defInverse (Results 1 – 3 of 3) sorted by relevance
274 inv <- defInverse <$> getConstInfo f
2466 defInverse :: Definition -> FunctionInverse2467 defInverse Defn{theDef = Function { funInv = inv }} = inv function2468 defInverse Defn{theDef = Primitive{ primInv = inv }} = inv function2469 defInverse _ = NotInjective function
803 inv = defInverse info