Changes

Summary

1. Allow partial function assignment to total function, with subtype PO (details)

Commit fefa1b3b07206218edcd2216e2c0e819c3a6c3ff by nick.battle Allow partial function assignment to total function, with subtype PO
	core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java (diff)