Bindings

• Global variables

- val x = 23;

val x = 23 : int;

• Local variables for declarations

- local val x = 10 val q = xin val u = 230 * x val z = (true, 22+q)end;

val u = 2300 : int;

val z = (true,32) : bool * int

Previous slide

Next slide

Back to first slide

View graphic version