Method empty

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

Return flag indicating whether there are no valid typings remaining, or not. This is equivalent to height() == 0 . @return

()

			 * @return
			 */
			public boolean empty();

			/**
			 * Return the number of typings that remain under consideration. If this is