Typage

Exo 1

• simple1.tip
• input1.tip
• block_decl.tip
• err_func.tip

Exo 2

• fib.tip
• err_unify1.tip
• err_unify2.tip
• ptr2.tip

Exo 3

• apply2.tip
• a1.tip
• mpolyrec.tip
• err_cmpfunc2.tip
• a5_2.tip