module Widget :
  sig
    type widget = Widget.any Widget.widget
    val default_toplevel : widget
    val atom : parent:widget -> name:string -> widget
    val name : widget -> string
    val known_class : widget -> string
    val dummy : widget
    val new_atom : parent:widget -> ?name:string -> string -> widget
    val get_atom : string -> widget
    val remove : widget -> unit
    val widget_any_table : string list
    val widget_button_table : string list
    val widget_canvas_table : string list
    val widget_checkbutton_table : string list
    val widget_entry_table : string list
    val widget_frame_table : string list
    val widget_label_table : string list
    val widget_listbox_table : string list
    val widget_menu_table : string list
    val widget_menubutton_table : string list
    val widget_message_table : string list
    val widget_radiobutton_table : string list
    val widget_scale_table : string list
    val widget_scrollbar_table : string list
    val widget_text_table : string list
    val widget_toplevel_table : string list
    val chk_sub : string -> 'a list -> 'a -> unit
    val check_class : widget -> string list -> unit
    exception IllegalWidgetType of string
    val coe : 'a Widget.widget -> Widget.any Widget.widget
  end
module Protocol :
  sig
    exception TkError of string
    val debug : bool ref
    type tkArgs =
      Camltkwrap.Protocol.tkArgs =
        TkToken of string
      | TkTokenList of tkArgs list
      | TkQuote of tkArgs
    external splitlist : string -> string list = "camltk_splitlist"
    val add_destroy_hook : (Widget.widget -> unit) -> unit
    val default_display : unit -> string
    val opentk : unit -> Widget.widget
    val keywords : (string * Arg.spec * string) list
    val opentk_with_args : string list -> Widget.widget
    val openTk : ?display:string -> ?clas:string -> unit -> Widget.widget
    val openTkClass : string -> Widget.widget
    val openTkDisplayClass : string -> string -> Widget.widget
    val closeTk : unit -> unit
    val finalizeTk : unit -> unit
    val mainLoop : unit -> unit
    val tkEval : tkArgs array -> string
    val tkCommand : tkArgs array -> unit
    val tkreturn : string -> unit
    type cbid = Protocol.cbid
    type callback_buffer = string list
    val callback_naming_table : (cbid, callback_buffer -> unit) Hashtbl.t
    val callback_memo_table : (Widget.widget, cbid) Hashtbl.t
    val new_function_id : unit -> cbid
    val string_of_cbid : cbid -> string
    val register_callback :
      Widget.widget -> callback:(callback_buffer -> unit) -> string
    val clear_callback : cbid -> unit
    val remove_callbacks : Widget.widget -> unit
    val cTKtoCAMLwidget : string -> Widget.widget
    val cCAMLtoTKwidget : string list -> Widget.widget -> tkArgs
    val register : string -> callback:(callback_buffer -> unit) -> unit
    val prerr_cbid : cbid -> unit
  end
module Textvariable :
  sig
    type textVariable = Textvariable.textVariable
    val create : ?on:Widget.widget -> unit -> textVariable
    val create_temporary : Widget.widget -> textVariable
    val set : textVariable -> string -> unit
    val get : textVariable -> string
    val name : textVariable -> string
    val cCAMLtoTKtextVariable : textVariable -> Protocol.tkArgs
    val handle : textVariable -> (unit -> unit) -> unit
    val coerce : string -> textVariable
    val free : textVariable -> unit
  end
module Fileevent :
  sig
    val add_fileinput : Unix.file_descr -> (unit -> unit) -> unit
    val remove_fileinput : Unix.file_descr -> unit
    val add_fileoutput : Unix.file_descr -> (unit -> unit) -> unit
    val remove_fileoutput : Unix.file_descr -> unit
  end
module Timer :
  sig
    type t = Timer.t
    val add : int -> (unit -> unit) -> t
    val set : int -> (unit -> unit) -> unit
    val remove : t -> unit
  end
val opentk : unit -> Widget.widget
val keywords : (string * Arg.spec * string) list
val opentk_with_args : string list -> Widget.widget
val openTk : ?display:string -> ?clas:string -> unit -> Widget.widget
val openTkClass : string -> Widget.widget
val openTkDisplayClass : string -> string -> Widget.widget
val closeTk : unit -> unit
val mainLoop : unit -> unit
val register : string -> callback:(Protocol.callback_buffer -> unit) -> unit
val may : ('a -> 'b) -> 'a option -> 'b option
val maycons : ('a -> 'b) -> 'a option -> 'b list -> 'b list
val coe : 'a Widget.widget -> Widget.any Widget.widget
type filePattern =
  CTk.filePattern = {
  typename : string;
  extensions : string list;
  mactypes : string list;
}
val cCAMLtoTKfilePattern : filePattern -> Protocol.tkArgs
type bitmap = CTk.bitmap = BitmapFile of string | Predefined of string
type color =
  CTk.color =
    NamedColor of string
  | Black
  | White
  | Red
  | Green
  | Blue
  | Yellow
type cursor =
  CTk.cursor =
    XCursor of string
  | XCursorFg of string * color
  | XCursortFgBg of string * color * color
  | CursorFileFg of string * color
  | CursorMaskFile of string * string * color * color
type units =
  CTk.units =
    Pixels of int
  | Centimeters of float
  | Inches of float
  | Millimeters of float
  | PrinterPoint of float
type scrollValue =
  CTk.scrollValue =
    ScrollPage of int
  | ScrollUnit of int
  | MoveTo of float
type xEvent =
  CTk.xEvent =
    Activate
  | ButtonPress
  | ButtonPressDetail of int
  | ButtonRelease
  | ButtonReleaseDetail of int
  | Circulate
  | ColorMap
  | Configure
  | Deactivate
  | Destroy
  | Enter
  | Expose
  | FocusIn
  | FocusOut
  | Gravity
  | KeyPress
  | KeyPressDetail of string
  | KeyRelease
  | KeyReleaseDetail of string
  | Leave
  | Map
  | Motion
  | Property
  | Reparent
  | Unmap
  | Visibility
  | Virtual of string
type modifier =
  CTk.modifier =
    Control
  | Shift
  | Lock
  | Button1
  | Button2
  | Button3
  | Button4
  | Button5
  | Double
  | Triple
  | Mod1
  | Mod2
  | Mod3
  | Mod4
  | Mod5
  | Meta
  | Alt
type eventInfo =
  CTk.eventInfo = {
  mutable ev_Above : int;
  mutable ev_ButtonNumber : int;
  mutable ev_Count : int;
  mutable ev_Detail : string;
  mutable ev_Focus : bool;
  mutable ev_Height : int;
  mutable ev_KeyCode : int;
  mutable ev_Mode : string;
  mutable ev_OverrideRedirect : bool;
  mutable ev_Place : string;
  mutable ev_State : string;
  mutable ev_Time : int;
  mutable ev_Width : int;
  mutable ev_MouseX : int;
  mutable ev_MouseY : int;
  mutable ev_Char : string;
  mutable ev_BorderWidth : int;
  mutable ev_SendEvent : bool;
  mutable ev_KeySymString : string;
  mutable ev_KeySymInt : int;
  mutable ev_RootWindow : int;
  mutable ev_SubWindow : int;
  mutable ev_Type : int;
  mutable ev_Widget : Widget.widget;
  mutable ev_RootX : int;
  mutable ev_RootY : int;
}
type eventField =
  CTk.eventField =
    Ev_Above
  | Ev_ButtonNumber
  | Ev_Count
  | Ev_Detail
  | Ev_Focus
  | Ev_Height
  | Ev_KeyCode
  | Ev_Mode
  | Ev_OverrideRedirect
  | Ev_Place
  | Ev_State
  | Ev_Time
  | Ev_Width
  | Ev_MouseX
  | Ev_MouseY
  | Ev_Char
  | Ev_BorderWidth
  | Ev_SendEvent
  | Ev_KeySymString
  | Ev_KeySymInt
  | Ev_RootWindow
  | Ev_SubWindow
  | Ev_Type
  | Ev_Widget
  | Ev_RootX
  | Ev_RootY
val filleventInfo : eventInfo -> string -> eventField -> unit
val wrapeventInfo : (eventInfo -> 'a) -> eventField list -> string list -> 'a
val writeeventField : eventField list -> string
type bindings =
  CTk.bindings =
    TagBindings of string
  | WidgetBindings of Widget.widget
type font = string
type grabGlobal = bool
type index =
  CTk.index =
    Number of int
  | ActiveElement
  | End
  | Last
  | NoIndex
  | Insert
  | SelFirst
  | SelLast
  | At of int
  | AtXY of int * int
  | AnchorPoint
  | Pattern of string
  | LineChar of int * int
  | Mark of string
  | TagFirst of string
  | TagLast of string
  | Embedded of Widget.widget
type paletteType =
  CTk.paletteType =
    GrayShades of int
  | RGBShades of int * int * int
type textMark = string
type textTag = string
type textModifier =
  CTk.textModifier =
    CharOffset of int
  | LineOffset of int
  | LineStart
  | LineEnd
  | WordStart
  | WordEnd
type textIndex =
  CTk.textIndex =
    TextIndex of index * textModifier list
  | TextIndexNone
type anchor = CTk.anchor = Center | E | N | NE | NW | S | SE | SW | W
type imageBitmap = CTk.imageBitmap = BitmapImage of string
type imagePhoto = CTk.imagePhoto = PhotoImage of string
type justification =
  CTk.justification =
    Justify_Center
  | Justify_Left
  | Justify_Right
type orientation = CTk.orientation = Horizontal | Vertical
type relief = CTk.relief = Flat | Groove | Raised | Ridge | Solid | Sunken
type state = CTk.state = Active | Disabled | Hidden | Normal
type colorMode = CTk.colorMode = Color | Gray | Mono
type arcStyle = CTk.arcStyle = Arc | Chord | PieSlice
type tagOrId = CTk.tagOrId = Id of int | Tag of string
type arrowStyle =
  CTk.arrowStyle =
    Arrow_Both
  | Arrow_First
  | Arrow_Last
  | Arrow_None
type capStyle = CTk.capStyle = Cap_Butt | Cap_Projecting | Cap_Round
type joinStyle = CTk.joinStyle = Join_Bevel | Join_Miter | Join_Round
type weight = CTk.weight = Weight_Bold | Weight_Normal
type slant = CTk.slant = Slant_Italic | Slant_Roman
type visual =
  CTk.visual =
    Best
  | BestDepth of int
  | ClassVisual of (string * int)
  | DefaultVisual
  | WidgetVisual of Widget.widget
type colormap = CTk.colormap = NewColormap | WidgetColormap of Widget.widget
type selectModeType =
  CTk.selectModeType =
    Browse
  | Extended
  | Multiple
  | Single
type menuType = CTk.menuType = Menu_Menubar | Menu_Normal | Menu_Tearoff
type menubuttonDirection =
  CTk.menubuttonDirection =
    Dir_Above
  | Dir_Below
  | Dir_Left
  | Dir_Right
type fillMode = CTk.fillMode = Fill_Both | Fill_None | Fill_X | Fill_Y
type side =