Afficher les modules : ls $(heptc -where)
Détails module : less $(heptc -where)/pervasives.epi

Exercice 1
==========

Node 1

x 0 1 3 2 0 4
y 1 2 10 5 1 17

Node 2

x true
y false
z false
t true

Node 3

x 0 1 3 2 0 4
aux 0 0 1 3 2 0
y 0 1 4 5 2 4

0 -> pre x : premièrement tu prends 0, puis tu prend la valeur d’avant de x

Node 4

y 0 1 2 3 4 5

Node 5

y 0 1 1 2 3 5 8

0 fby y équivaut à 0 -> pre y