9 lines
168 B
Text
9 lines
168 B
Text
|
open Cours04;;
|
||
|
|
||
|
#install_printer Lang0.pp;;
|
||
|
#install_printer Lang1.pp;;
|
||
|
#install_printer Lang2.pp;;
|
||
|
#install_printer Lang2.pp_value;;
|
||
|
|
||
|
module R = Rewrite.Make(Lang1);;
|