Drawer.Propsval check :
?is_open:bool Solidtype.Check.value ->
?default_open:bool Solidtype.Check.value ->
?on_open_change:(bool -> unit) ->
children:(_, [ `nodes ]) Solidtype.Check.children ->
?props:t Solidtype.Solid.rest ->
unit ->
unit