package lustre-v6

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module SocVarSource

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

Sourceval expand_profile : bool -> bool -> Soc.var list -> Soc.var list
Sourceval unexpand_profile : Data.subst list -> Soc.var list -> Data.subst list
Sourceval expand_subst : Data.subst -> Data.subst list
OCaml

Innovation. Community. Security.