Alert.Propsval check :
?status:status Solidtype.Check.value ->
?role:Solidtype.Html.Div.role Solidtype.Check.value ->
?class_:string Solidtype.Check.value ->
children:(_, [ `nodes ]) Solidtype.Check.children ->
?props:t Solidtype.Solid.rest ->
unit ->
unit