(** Time-stamp: <modified the 19/12/2012 (at 17:26) by Erwan Jahier> *)


(** Expand Meta operators (red, map, etc.)  *)

val doit : LicPrg.t -> LicPrg.t