external
draw : [>
`
widget] obj
->
Gdk
.
Rectangle
.t option
->
unit
=
"ml_gtk_widget_draw"