SuccessChanges

Summary

  1. Fix min_/max_ functions, fixes #706 (commit: c354db8) (details)
Commit c354db831f18c5e7368563bba4e85866232b541f by nick.battle
Fix min_/max_ functions, fixes #706
(commit: c354db8)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel.result (diff)
The file was modifiedcore/typechecker/src/main/java/org/overture/typechecker/utilities/ImplicitDefinitionFinder.java (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_not_bool.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_func.result (diff)
The file was modifiedcore/typechecker/src/test/resources/modules/eqord/ord_rel_missing_func.result (diff)