package lustre-v6

  1. Overview
  2. Docs

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 expand_profile : bool -> bool -> Soc.var list -> Soc.var list
val unexpand_profile : Data.subst list -> Soc.var list -> Data.subst list
val expand_subst : Data.subst -> Data.subst list

Innovation. Community. Security.