public void PushIdentifierType(string ident, GraphTypeNode type) { stack[ident].Push(type); }
public void PushIdentifierType(string ident, GraphTypeNode type) { stack[ident].Push(type); }
public void PushIdentifierType(string ident, GraphTypeNode type) { stack[ident].Push(type); }
public void PushIdentifierType(string ident, GraphTypeNode type) { stack[ident].Push(type); }