| Vvar of string
| Intero
| Mkarrow of evalt * evalt
| [] -> [(i,t)]
| (j,t1):: r1 -> if i=j then (i,t):: r1 else (j,t1):: (bind(r1,i,t))
|[] -> (Forall([],Notype),[])
|(j,t):: r1 -> if i=j then instance(t) else applyenv(r1,i)
| Previous slide | Next slide | Back to first slide | View graphic version |