external
destroy : [>
`
gtk] obj
->
unit =
"ml_gtk_object_destroy"