l2lRmPoly.mli

(* Time-stamp: <modified the 18/12/2012 (at 10:13) by Erwan Jahier> *)

(** Remove polymorphism and overloading  

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