package lustre-v6
-
lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val get : Soc.key -> SocExecValue.ctx -> SocExecValue.ctxReturns a predef operator interpreter. Raises Not_found if the operator is not defined.