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
type t = | Resize of LTerm_geom.size| Key of LTerm_key.t| Sequence of string| Mouse of LTerm_mouse.t
val to_string : t -> string