class area :gl_area Gtk.obj ->object..end
val obj : gl_area Gtk.objmethod event : GObj.event_opsmethod as_area : gl_area Gtk.objmethod connect : area_signalsmethod make_current : unit -> unitmethod set_size : width:int -> height:int -> unitmethod swap_buffers : unit -> unit