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
Read a keyword.
inherit 'a read_keyword_result enginemethod eval : 'a read_keyword_resultIf the input correspond to a keyword, returns its associated value. otherwise returns `Error input.