websharper中的<option>标记在哪里？

Question

我看到here <option>的标记被标记为“碰撞”，我认为这与我为什么会有什么关系

open WebSharper.Html.Client

我正在查看WebSharper.Html.Client.Tags.处的标记列表。我没有看到Option作为可用标记。有没有其他方法可以创建<option>元素？我熟悉Formlets和Piglets，但对于这种特殊情况，这些都不会起作用。