Skip to content
Snippets Groups Projects
Normal view Permalink
l2lExpandMetaOp.mli 221 B
Newer Older
Erwan Jahier's avatar
Plug back the non-reg test files and use DejaGnu/runtest to perform them.  
Erwan Jahier committed
1 
(* Time-stamp: <modified the 20/12/2012 (at 17:35) by Erwan Jahier> *)
Erwan Jahier's avatar
Plug back Meta operator Expansion.
Erwan Jahier committed
2 3 4 5 6 


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

val doit : LicPrg.t -> LicPrg.t
Mamadou Ndiaye's avatar
expansion of "boolred" in form of equations.  
Mamadou Ndiaye committed
7 8 9 

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