package lustre-v6

  1. Overview
  2. Docs

Check that each output and each local variable is defined at most and at least once. Also check that one does not try to define an input.

val check_node : Lic.node_exp -> unit
val doit : LicPrg.t -> unit
OCaml

Innovation. Community. Security.