package lustre-v6

  1. Overview
  2. Docs

Remove overloading of nodes used with iterators.

nb: it actually does not remove remove polymorphism actually -> TODO: Rename this module.

nb2 : only if/then/else is truely polymorphic.

nb :

  • il est préférable d'appeler ce module AVANT L2lAliasType, sinon on risque d'avoir des alias bizarres, du style : 'anynum_4_7_int' au lieu de 'int_4_7' Mais bon, normalement c'est quand même correct ...
val doit : LicPrg.t -> LicPrg.t
OCaml

Innovation. Community. Security.