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
Expand struct and arrays when communicating with the outside world
If the first bool flag is true, enum are translated into integers
If the second one is true, we generate var name that actually corresponds to their access in C. For instance, an array element that is itself in a structure would be named "S.f3" instead of "S_f_3" XXX should be 2 functions: expand_profile and expand_profile_for_c
val unexpand_profile : Data.subst list -> Soc.var list -> Data.subst listval expand_subst : Data.subst -> Data.subst list