package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
inherit tval children : LTerm_widget_base_impl.t listmethod children : LTerm_widget_base_impl.t listmethod draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unitval mutable coord : LTerm_geom.coordval mutable push_layer_handler : unit React.eventval mutable pop_layer_handler : unit React.eventmethod arm_layer_handlers : t Lwt_react.event ->
(t -> unit) ->
unit Lwt_react.event ->
(unit -> unit) ->
unitmethod set_allocation : LTerm_geom.rect -> unitmethod move_focus_to : (t * LTerm_geom.coord) option -> unitmethod private move_focus : (t ->
t ->
LTerm_geom.coord ->
(t * LTerm_geom.coord) option) ->
unitmethod private process_arrows : LTerm_event.t -> bool