let
destroy =
{ name =
"destroy"
; classe =
`
gtk; marshaller = marshal_unit }