Method getType

src/main/java/wyil/lang/WyilFile.java:1063–1066

()

			}

			@Override
			public WyilFile.Type.Property getType() {
				return new WyilFile.Type.Property(project(getParameters()), project(getReturns()));
			}

			@SuppressWarnings("unchecked")
			public Tuple<Expr> getRequires() {