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