Up – Package index » lustre-v6 » Library lustre-v6 » L2lCheckKcgKeyWord

Module `L2lCheckKcgKeyWord`Source

Check that the input program does not use KCG keywords an ident

Sourceval doit : LicPrg.t -> unit