Source position: jstree.pp line 1229
public property TJSTypedParams.Types[aIndex: Integer] : TJSElement read GetTypes;