Tipi 2
# type eval = Int of int | Bool of bool | Efun of myfun
| Unbound
and myfun = eval -> eval;;
type eval = | Int of int | Bool of bool | Efun of myfun | Unbound
type myfun = eval -> eval
# type env = ide -> eval;;
type env = ide -> eval
env = IDE _ eval
eval = [ int + bool + fun ]
Previous slide
Next slide
Back to first slide
View graphic version