package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type action =
| Edit of LTerm_edit.action
| Interrupt_or_delete_next_char
| Complete
| Complete_bar_next
| Complete_bar_prev
| Complete_bar_first
| Complete_bar_last
| Complete_bar
| History_prev
| History_next
| History_search_prev
| History_search_next
| Accept
| Clear_screen
| Prev_search
| Next_search
| Cancel_search
| Break
| Suspend
| Edit_with_external_editor
val doc_of_action : action -> string
val actions : (action * string) list
val actions_to_names : (action * string) array
val names_to_actions : (action * string) array
val action_of_name : string -> action
val name_of_action : action -> string
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>