Header.Props
type t
val check : ?class_:string Solidtype.Check.value -> children:(_, [ `nodes ]) Solidtype.Check.children -> ?props:t Solidtype.Solid.rest -> unit -> unit