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
Synchronous Object Code for Predefined operators.
val soc_interface_of_pos_op :
Lxm.t ->
Lic.by_pos_op ->
Data.t list ->
Soc.var_expr option ->
Soc.tAssocie un opérateur Lustre et le type de ses opérandes à un SOC et sa fonction de typage.
Le type des opérandes permet de traiter les opérateurs surchargés.