Method writeHeader

src/main/java/wycc/io/HeapWriter.java:68–68

()

	}

	public abstract void writeHeader() throws IOException;

	public void writeSyntacticItem(Item item) throws IOException {
		int d = out.length();