Method getType

src/main/java/wyil/lang/WyilFile.java:1127–1130

()

			}

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

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