public class TypeRefNode extends Node {
	private ConsNode typeTemplate;

	public TypeRefNode(ConsNode typeTempl) {
		this.setTypeTemplate(typeTempl);
	}

	public void setTypeTemplate(ConsNode typeTemplate) {
		this.typeTemplate = typeTemplate;
	}

	public ConsNode getTypeTemplate() {
		return typeTemplate;
	}

	public TypeNode try_resolve() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public String toIndentedString(int surroundingIndentation) {
		Object head = typeTemplate.getHead();
		ConsNode remainder = typeTemplate.getRest();
		//return typeTemplate.toIndentedString(surroundingIndentation);
		return String.format("%s%s", head, remainder != null ? "<" + remainder.toIndentedString(surroundingIndentation) +  ">" : "");
	}
}