package lustre-v6

  1. Overview
  2. Docs

Time-stamp: <modified the 31/05/2016 (at 16:58) by Erwan Jahier>

Transforms equations of the form

y = x when Toto(c);

into

x when Toto_c ; Toto_c=Toto(c);

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

Innovation. Community. Security.