Source position: jstree.pp line 1396
public property TJSEnumTypeDef.Elements[aIndex: Integer] : TJSEnumElement read GetElement; default;