Class Unknown

src/main/java/wyil/lang/WyilFile.java:6505–6546

		}

		public static class Unknown extends AbstractType implements Callable {
			public Unknown() {
				super(TYPE_unknown);
			}

			@Override
			public Type.Tuple getParameter() {
				throw new UnsupportedOperationException();
			}

			@Override
			public Type.Tuple getReturn() {
				throw new UnsupportedOperationException();
			}

			@Override
			public Type.Unknown substitute(java.util.function.Function<Object, Syntactic.Item> binding) {
				throw new UnsupportedOperationException();
			}

			@Override
			public Syntactic.Item clone(Syntactic.Item[] operands) {
				return new Unknown();
			}

			@Override
			public String toString() {
				return "(???)->(???)";
			}

			@Override
			public String toCanonicalString() {
				throw new UnsupportedOperationException();
			}

			public static final Descriptor DESCRIPTOR_0 = new Descriptor(Operands.ZERO, Data.ZERO, "TYPE_unknown") {
				@Override
				public Syntactic.Item construct(int opcode, Syntactic.Item[] operands, byte[] data) {
					return new Unknown();
				}
			};
		}

		public static class Existential extends AbstractType implements Atom {
			public Existential(int index) {