Source position: dom_html.pp line 173
public property THTMLSelectElement.Options : THTMLOptionsCollection read GetOptions;