-
POGODALLA Sylvain authored
A new location as been added in the Abstract_syntax.LAbs and the Abstract_syntax.Abs constructor in order to have one for the variable and one for the whole term (if the term is lambda x.u then it starts at the beginning of lambda and ends at the end of u )
83f92c81