package lustre-v6

  1. Overview
  2. Docs

Transforms expressions of the form

if c then n(...) else m(...)

into

merge c (true -> n(...) when c) (false -> m(...) when not(c))

Of course, this is done iff neither n nor m uses memories.

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

Innovation. Community. Security.