sig
  type anchor_type =
      [ `CENTER | `EAST | `NE | `NORTH | `NW | `SE | `SOUTH | `SW | `WEST ]
  type arrow_type = [ `DOWN | `LEFT | `RIGHT | `UP ]
  type attach_options = [ `EXPAND | `FILL | `SHRINK ]
  type button_box_style =
      [ `DEFAULT_STYLE | `EDGE | `END | `SPREAD | `START ]
  type curve_type = [ `FREE | `LINEAR | `SPLINE ]
  type delete_type =
      [ `CHARS
      | `DISPLAY_LINES
      | `DISPLAY_LINE_ENDS
      | `PARAGRAPHS
      | `PARAGRAPH_ENDS
      | `WHITESPACE
      | `WORDS
      | `WORD_ENDS ]
  type direction_type =
      [ `DOWN | `LEFT | `RIGHT | `TAB_BACKWARD | `TAB_FORWARD | `UP ]
  type expander_style =
      [ `COLLAPSED | `EXPANDED | `SEMI_COLLAPSED | `SEMI_EXPANDED ]
  type icon_size =
      [ `BUTTON
      | `DIALOG
      | `DND
      | `INVALID
      | `LARGE_TOOLBAR
      | `MENU
      | `SMALL_TOOLBAR ]
  type side_type = [ `BOTTOM | `LEFT | `RIGHT | `TOP ]
  type text_direction = [ `LTR | `NONE | `RTL ]
  type justification = [ `CENTER | `FILL | `LEFT | `RIGHT ]
  type match_type = [ `ALL | `ALL_TAIL | `EXACT | `HEAD | `LAST | `TAIL ]
  type menu_direction = [ `CHILD | `NEXT | `PARENT | `PREV ]
  type metric_type = [ `CENTIMETERS | `INCHES | `PIXELS ]
  type movement_step =
      [ `BUFFER_ENDS
      | `DISPLAY_LINES
      | `DISPLAY_LINE_ENDS
      | `LOGICAL_POSITIONS
      | `PAGES
      | `PARAGRAPHS
      | `PARAGRAPH_ENDS
      | `VISUAL_POSITIONS
      | `WORDS ]
  type orientation = [ `HORIZONTAL | `VERTICAL ]
  type corner_type =
      [ `BOTTOM_LEFT | `BOTTOM_RIGHT | `TOP_LEFT | `TOP_RIGHT ]
  type pack_type = [ `END | `START ]
  type path_priority =
      [ `APPLICATION | `GTK | `HIGHEST | `LOWEST | `RC | `THEME ]
  type path_type = [ `CLASS | `WIDGET | `WIDGET_CLASS ]
  type policy_type = [ `ALWAYS | `AUTOMATIC | `NEVER ]
  type position = [ `BOTTOM | `LEFT | `RIGHT | `TOP ]
  type relief_style = [ `HALF | `NONE | `NORMAL ]
  type resize_mode = [ `IMMEDIATE | `PARENT | `QUEUE ]
  type signal_run_type =
      [ `ACTION | `BOTH | `FIRST | `LAST | `NO_HOOKS | `NO_RECURSE ]
  type scroll_type =
      [ `END
      | `JUMP
      | `NONE
      | `PAGE_BACKWARD
      | `PAGE_DOWN
      | `PAGE_FORWARD
      | `PAGE_LEFT
      | `PAGE_RIGHT
      | `PAGE_UP
      | `START
      | `STEP_BACKWARD
      | `STEP_DOWN
      | `STEP_FORWARD
      | `STEP_LEFT
      | `STEP_RIGHT
      | `STEP_UP ]
  type selection_mode = [ `BROWSE | `MULTIPLE | `NONE | `SINGLE ]
  type shadow_type = [ `ETCHED_IN | `ETCHED_OUT | `IN | `NONE | `OUT ]
  type state_type =
      [ `ACTIVE | `INSENSITIVE | `NORMAL | `PRELIGHT | `SELECTED ]
  type submenu_direction = [ `LEFT | `RIGHT ]
  type submenu_placement = [ `LEFT_RIGHT | `TOP_BOTTOM ]
  type toolbar_style = [ `BOTH | `BOTH_HORIZ | `ICONS | `TEXT ]
  type update_type = [ `CONTINUOUS | `DELAYED | `DISCONTINUOUS ]
  type visibility = [ `FULL | `NONE | `PARTIAL ]
  type window_position =
      [ `CENTER | `CENTER_ALWAYS | `CENTER_ON_PARENT | `MOUSE | `NONE ]
  type window_type = [ `POPUP | `TOPLEVEL ]
  type wrap_mode = [ `CHAR | `NONE | `WORD ]
  type sort_type = [ `ASCENDING | `DESCENDING ]
  type expand_type = [ `BOTH | `NONE | `X | `Y ]
  type update_policy = [ `ALWAYS | `IF_VALID | `SNAP_TO_TICKS ]
  type cell_type = [ `EMPTY | `PIXMAP | `PIXTEXT | `TEXT | `WIDGET ]
  type toolbar_child =
      [ `BUTTON | `RADIOBUTTON | `SPACE | `TOGGLEBUTTON | `WIDGET ]
  type toolbar_space_style = [ `EMPTY | `LINE ]
  type spin_type =
      [ `END
      | `HOME
      | `PAGE_BACKWARD
      | `PAGE_FORWARD
      | `STEP_BACKWARD
      | `STEP_FORWARD
      | `USER_DEFINED of float ]
  type accel_flag = [ `LOCKED | `VISIBLE ]
  type button_action = [ `DRAGS | `EXPANDS | `SELECTS ]
  type calendar_display_options =
      [ `NO_MONTH_CHANGE
      | `SHOW_DAY_NAMES
      | `SHOW_HEADING
      | `SHOW_WEEK_NUMBERS
      | `WEEK_START_MONDAY ]
  type spin_button_update_policy = [ `ALWAYS | `IF_VALID ]
  type progress_bar_style = [ `CONTINUOUS | `DISCRETE ]
  type progress_bar_orientation =
      [ `BOTTOM_TO_TOP | `LEFT_TO_RIGHT | `RIGHT_TO_LEFT | `TOP_TO_BOTTOM ]
  type dest_defaults = [ `ALL | `DROP | `HIGHLIGHT | `MOTION ]
  type target_flags = [ `SAME_APP | `SAME_WIDGET ]
  type text_window_type =
      [ `BOTTOM | `LEFT | `PRIVATE | `RIGHT | `TEXT | `TOP | `WIDGET ]
  type text_search_flag = [ `TEXT_ONLY | `VISIBLE_ONLY ]
  type tree_view_column_sizing = [ `AUTOSIZE | `FIXED | `GROW_ONLY ]
  type cell_renderer_mode = [ `ACTIVATABLE | `EDITABLE | `INERT ]
  type message_type = [ `ERROR | `INFO | `QUESTION | `WARNING ]
  type buttons = [ `CANCEL | `CLOSE | `NONE | `OK | `OK_CANCEL | `YES_NO ]
  type response =
      [ `ACCEPT
      | `APPLY
      | `CANCEL
      | `CLOSE
      | `DELETE_EVENT
      | `HELP
      | `NO
      | `NONE
      | `OK
      | `REJECT
      | `YES ]
  type gtkobj_flags = [ `FLOATING | `IN_DESTRUCTION ]
  type widget_flags =
      [ `APP_PAINTABLE
      | `CAN_DEFAULT
      | `CAN_FOCUS
      | `COMPOSITE_CHILD
      | `DOUBLE_BUFFERED
      | `FLOATING
      | `HAS_DEFAULT
      | `HAS_FOCUS
      | `HAS_GRAB
      | `IN_DESTRUCTION
      | `MAPPED
      | `NO_REPARENT
      | `NO_WINDOW
      | `PARENT_SENSITIVE
      | `RC_STYLE
      | `REALIZED
      | `RECEIVES_DEFAULT
      | `SENSITIVE
      | `TOPLEVEL
      | `VISIBLE ]
  type size_group_mode = [ `BOTH | `HORIZONTAL | `NONE | `VERTICAL ]
end