Source position: jstree.pp line 1502
public property TJSGenericTypeRef.ParamTypes[aIndex: Integer] : TJSTypeDef read GetType;