Method WhileyFile

src/main/java/wyc/lang/WhileyFile.java:27–29

(Trie ID, byte[] bytes)

	private final Trie path;

	public WhileyFile(Trie ID, byte[] bytes) {
		this(ID, new String(bytes));
	}

	public WhileyFile(Trie ID, String content) {
		super(content);