package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

Module `SocExecEvalPredef`Source

Sourceval get : Soc.key -> SocExecValue.ctx -> SocExecValue.ctx

Returns a predef operator interpreter. Raises Not_found if the operator is not defined.