package lustre-v6

  1. Overview
  2. Docs

Remove useless aliases created by various l2l passes of the compiler

Watch out: if the program contains combinatory loops, bad things happen.

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

Innovation. Community. Security.