Report - L R Ibibli/Rapports-internes/2007/RR1474.pdf · type α t val create : int →α →α t ... To implement get and set, we first need to implement the rerooting operation de-scribed

Please pass captcha verification before submit form