write_inherited_symbols_note


Description:

private void write_inherited_symbols_note (TypeSymbol symbol, string type, Node container)