Label.Propsval check :
?is_required:bool Solidtype.Check.value ->
?is_disabled:bool Solidtype.Check.value ->
?is_invalid:bool Solidtype.Check.value ->
?for_:string Solidtype.Check.value ->
?class_:string Solidtype.Check.value ->
children:(_, [ `nodes ]) Solidtype.Check.children ->
?props:t Solidtype.Solid.rest ->
unit ->
unit