package lustre-v6

  1. Overview
  2. Docs
type target =
  1. | I
  2. | BA

Transform enums into int, or Bool arrays, depending on the value of Lv6MainArgs.global_opt.expand_enums

in ec mode, const_ref are inlined by their definition, as const definitions such as « const x = 3; » is not supported by ec tools.

nb : for bool arrays, we use 1-hot encoding to understand what's going on in the generated code.

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

Innovation. Community. Security.