Talk:Reaching definition

Examples confusing
I would read

d1 : y := 3

as  of type   gets 3. I think the intention is that  is meant to represent a line number. Consider improving this example. — Preceding unsigned comment added by 86.185.52.183 (talk) 18:38, 14 May 2018 (UTC)