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