package lambda-term

  1. Overview
  2. Docs
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit LTerm_toplevel_impl.t
val children : LTerm_widget_base_impl.t list
method children : LTerm_widget_base_impl.t list
val mutable coord : LTerm_geom.coord
val mutable push_layer_handler : unit React.event
val mutable pop_layer_handler : unit React.event
method arm_layer_handlers : t Lwt_react.event -> (t -> unit) -> unit Lwt_react.event -> (unit -> unit) -> unit
method set_allocation : LTerm_geom.rect -> unit
method move_focus_to : (t * LTerm_geom.coord) option -> unit
method private move_focus : (t -> t -> LTerm_geom.coord -> (t * LTerm_geom.coord) option) -> unit
method private process_arrows : LTerm_event.t -> bool