sig   type 'a entry = int * int * 'a   class type ['a] marker =     object       method add : 'Wtext.entry -> unit       method connect : (GdkEvent.Button.t -> 'Wtext.entry -> unit) -> unit       method mark :         '->         (Format.formatter -> '-> unit) -> Format.formatter -> '-> unit       method on_add : ('Wtext.entry -> unit) -> unit       method on_click : ('Wtext.entry -> unit) -> unit       method on_double_click : ('Wtext.entry -> unit) -> unit       method on_right_click : ('Wtext.entry -> unit) -> unit       method on_shift_click : ('Wtext.entry -> unit) -> unit       method set_hover : GText.tag_property list -> unit       method set_style : GText.tag_property list -> unit       method wrap :         (Format.formatter -> '-> unit) -> Format.formatter -> '-> unit     end   class text :     ?autoscroll:bool ->     ?width:int ->     ?indent:int ->     unit ->     object       method clear : unit       method coerce : GObj.widget       method fmt : Format.formatter       method get_view : GText.view       method hrule : unit       method lines : int       method links : string Wtext.marker       method marker : 'Wtext.marker       method offset : int       method on_link : (string -> unit) -> unit       method printf :         ?scroll:bool -> ('a, Format.formatter, unit) Pervasives.format -> 'a       method remove_all : string list -> unit       method remove_style : string -> int -> int -> unit       method scroll : ?line:int -> unit -> unit       method select : ?scroll:bool -> int -> int -> unit       method set_autoscroll : bool -> unit       method set_css : (string * GText.tag_property list) list -> unit       method set_enabled : bool -> unit       method set_font : string -> unit       method set_indent : int -> unit       method set_monospace : unit       method set_style : string -> int -> int -> unit       method set_visible : bool -> unit       method set_width : int -> unit       method widget : Widget.widget       method wrap :         (int -> int -> unit) ->         (Format.formatter -> unit) -> Format.formatter -> unit     end end