class area :gl_area Gtk.obj ->
object
..end
val obj : gl_area Gtk.obj
method event : GObj.event_ops
method as_area : gl_area Gtk.obj
method connect : area_signals
method make_current : unit -> unit
method set_size : width:int -> height:int -> unit
method swap_buffers : unit -> unit