package lustre-v6

  1. Overview
  2. Docs
package lustre-v6
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module L2lExpandArraysSource

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)

Sourceval doit : LicPrg.t -> LicPrg.t