The tree rendering: one line per element, indented by depth, as
[*]<short_id> [edge_label] <summary>
Summaries are rendered with a format context, so known values appear
under their registered names ('isA', 'note') rather than as raw
numbers. The context defaults to the global one (see
getGlobalFormatContext); override it per call with
TreeFormatOptions.context.
The tree rendering: one line per element, indented by depth, as
[*]<short_id> [edge_label] <summary>Summaries are rendered with a format context, so known values appear under their registered names (
'isA','note') rather than as raw numbers. The context defaults to the global one (see getGlobalFormatContext); override it per call with TreeFormatOptions.context.