package lustre-v6

  1. Overview
  2. Docs

Expand structures and arrays. Necessary to generate ec code.

Quite buggy :(

Requires that nodes are expanded (should not be necessary, but it makes things simpler and this pass is only used for generating ec code anyway)

val doit : LicPrg.t -> LicPrg.t
OCaml

Innovation. Community. Security.