Method create

src/main/java/wyil/util/TypeSelector.java:47–49

Create a type selector from a given source and refinement. For example, int|null might be the source with int as the refinement. @param source @param refinement @return

(Type lhs, Type rhs)

	 * @return
	 */
	public static Type.Selector create(Type lhs, Type rhs) {
		return create(lhs,rhs,null);
	}

	private static Type.Selector create(Type t1, Type t2, BinaryRelation<Type> cache) {