Pseudocode:
*
Variable affectations
You could describe variable affectation in different ways.
int a = 1
int a := 1
let int a = 1
int a <- 1
a = 1
a := 1
let a = 1
a <- 1