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

(** Give a name to anonymous type expressions *)

val doit : LicPrg.t -> LicPrg.t