type w = Togl.w
type widget = w Widget.widget
val render : widget -> unit
val swap_buffers : widget -> unit
val height : widget -> int
val width : widget -> int
type font =
    [ `Fixed_8x13
    | `Fixed_9x15
    | `Helvetica_10
    | `Helvetica_12
    | `Helvetica_18
    | `Times_10
    | `Times_24
    | `Xfont of string ]
val load_bitmap_font : widget -> font:font -> GlList.base
val unload_bitmap_font : widget -> base:GlList.base -> unit
val use_layer : widget -> num:int -> unit
val show_overlay : widget -> unit
val hide_overlay : widget -> unit
val overlay_redisplay : widget -> unit
val exists_overlay : widget -> bool
val get_overlay_transparent_value : widget -> int
val make_current : widget -> unit
val display_func : widget -> cb:(unit -> unit) -> unit
val reshape_func : widget -> cb:(unit -> unit) -> unit
val overlay_display_func : widget -> cb:(unit -> unit) -> unit
val dump_to_eps_file :
  filename:string -> ?rgba:bool -> ?render:(unit -> unit) -> widget -> unit
val timer_func : ms:int -> cb:(unit -> unit) -> unit
val configure : ?height:int -> ?width:int -> widget -> string
val create :
  ?name:string ->
  ?accum:bool ->
  ?accumalphasize:int ->
  ?accumbluesize:int ->
  ?accumgreensize:int ->
  ?accumredsize:int ->
  ?alpha:bool ->
  ?alphasize:int ->
  ?auxbuffers:int ->
  ?bluesize:int ->
  ?depth:bool ->
  ?depthsize:int ->
  ?double:bool ->
  ?greensize:int ->
  ?height:int ->
  ?overlay:bool ->
  ?privatecmap:bool ->
  ?redsize:int ->
  ?rgba:bool ->
  ?stencil:bool ->
  ?stencilsize:int ->
  ?stereo:bool -> ?width:int -> 'a Widget.widget -> widget