2
(* Tests d'extraction *)
4
Require ProgramsExtraction.
5
Save State Ici "test extraction".
10
Write Caml File "exp" [ i_exp r_exp ].
16
Write Caml File "exp_int" [ i_exp r_exp ].
22
Initialize x with (S (S (S O))).
24
Write Caml File "fact" [ factorielle ].
30
Initialize x with `3`.
31
Initialize y with `0`.
32
Write Caml File "fact_int" [ factorielle ].
38
Initialize X with `3`.
39
Initialize Y with `3`.
40
Initialize Z with `3`.
41
Initialize N with `3`.
42
Initialize S with `3`.
43
Write Caml File "Handbook" [ pgm178 pgm186 pgm196 ].