package inquire
-
inquire.lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
method mouse_event : LTerm_event.t -> boolmethod scroll_key_event : LTerm_event.t -> bool