blob: 28747ce0152cdea044b4bbba5494ccb007d2104c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(* x and y are free *)
close_expr(x y);;
(* bind x *)
let x a = a + 42;;
(* y is free *)
close_expr(x y);;
(* bind y locally so the expr is closed *)
close_expr(let y = x 2 in x y);;
(* bind y locally but outside, z is free *)
let y = x 2 in close_expr(x (z y));;
|
