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


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

val doit : LicPrg.t -> LicPrg.t

(** expand only boolred *)
val doit_boolred : LicPrg.t -> LicPrg.t