Method map

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

Apply a given function to all rows of the typing matrix producing a potentially updated set of typing constraints. As part of this process, rows may be invalidated if they fail to meet some criteria. @param fn The mapping function which is applied to each row. This returns either an updat

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

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

			/**
			 * Project each row of the typing matrix into zero or more rows, thus producing