Pure_html.Ariahttps://developer.mozilla.org/en-US/docs/Web/Accessibility/ARIA/Attributes/
val activedescendant : _ string_attrval atomic : attrval autocomplete : [ `inline | `list | `both ] to_attrval braillelabel : _ string_attrval brailleroledescription : _ string_attrval busy : attrval checked : [ `false_ | `true_ | `mixed ] to_attrval colcount : int to_attrval colindextext : _ string_attrval colspan : int to_attrval controls : _ string_attrval current : [ `page | `step | `location | `date | `time | `true_ ] to_attrval describedby : _ string_attrval description : _ string_attrval details : _ string_attrval disabled : attrval errormessage : _ string_attrval expanded : bool to_attrval flowto : _ string_attrval haspopup : [ `true_ | `menu | `listbox | `tree | `grid | `dialog ] to_attrval invalid : [ `grammar | `spelling | `true_ ] to_attrval keyshortcuts : _ string_attrval label : _ string_attrval labelledby : _ string_attrval level : int to_attrval live : [ `assertive | `off | `polite ] to_attr⚠️ Screen readers want a live region to be defined statically from page load on a visible element, eg p [id "toast"; Aria.live `polite] []. The element must not be hidden initially, otherwise the screen reader will continue to ignore it even when its content is changed.
`off since 3.10.0
val modal : attrval multiline : attrval multiselectable : attrval orientation : [ `horizontal | `vertical ] to_attrval owns : _ string_attrval placeholder : _ string_attrval posinset : int to_attrval pressed : [ `false_ | `mixed | `true_ ] to_attrval readonly : attrval relevant : [ `additions | `all | `removals | `text ] to_attrval required : attrval roledescription : _ string_attrval rowcount : int to_attrval rowindex : int to_attrval rowindextext : _ string_attrval rowspan : int to_attrval selected : bool to_attrval setsize : int to_attrval sort : [ `ascending | `descending | `other ] to_attrval valuemax : float to_attrval valuemin : float to_attrval valuenow : float to_attrval valuetext : _ string_attr