Method project

src/main/java/wyil/util/Subtyping.java:527–527

Project each row of the typing matrix into zero or more rows, thus producing a potentially updated constraint set. As part of this process, rows may be added or removed based on various criteria. @param fn The mapping function which is applied to each row. This returns zero or more update

(Function<Subtyping.Constraints, Subtyping.Constraints[]> fn)

			 * @return
			 */
			public Set project(Function<Subtyping.Constraints, Subtyping.Constraints[]> fn);

			/**
			 * Apply a function to each row of the typing matrix, producing an array of