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
Check that each output and each local variable is defined at most and at least once. Also check that one does not try to define an input.
val check_node : Lic.node_exp -> unitval doit : LicPrg.t -> unit