To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
On This Page
package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
lambda-term 3.3.0
Libraries
This package provides the following libraries (via dune):
lambda-term
Documentation:
LTermTerminal definitionsLTerm_buttons_implLTerm_color_mappingsLTerm_containers_implLTerm_dlistMutable sequence of elements (deprecated)LTerm_drawDrawingLTerm_editText editionLTerm_editorLTerm_eventEventsLTerm_geomCommon types.LTerm_historyHistory managementLTerm_inputrcLoading of key bindingsLTerm_keyKeysLTerm_mouseMouse eventsLTerm_read_lineInteractive line inputLTerm_read_line_baseLTerm_resource_lexerLTerm_resourcesWidgets resourcesLTerm_running_implLTerm_scroll_implLTerm_styleText stylesLTerm_textStyled text.LTerm_text_implLTerm_toplevel_implLTerm_uiHigh level function for writing full-screen applicationsLTerm_unixUnix specific functionsLTerm_viLTerm_widgetWidgets for creating applicationsLTerm_widget_base_implLTerm_widget_callbacksLTerm_widget_implLTerm_windowsWindows specific functionsLiteralIntf
Dependencies: lwt, lwt.unix, lwt_react, zed, lwt_log, mew_vi, uucp
On This Page