Method visitType

src/main/java/wyil/io/WyilFilePrinter.java:136–147

(Decl.Type decl, Integer indent)

	}

	@Override
	public void visitType(Decl.Type decl, Integer indent) {
		visitModifiers(decl.getModifiers());
		out.print("type " + decl.getName() + " is (");
		visitVariable(decl.getVariableDeclaration(), 0);
		out.println(")");
		for (Expr invariant : decl.getInvariant()) {
			out.print("where ");
			visitExpression(invariant, indent);
			out.println();
		}
	}

	@Override
	public void visitProperty(Decl.Property decl, Integer indent) {