Closed andres-arana closed 6 years ago
We need to support nested partial values, such as the following:
X = person(age:30)
local A in X = person(age:A)
person(address:address(number:3772))
local A in local N in N = 3772 A = address(number:N) X = perons(address:A)
We need to support nested partial values, such as the following:
X = person(age:30)
equivalent tolocal A in X = person(age:A)
person(address:address(number:3772))
equivalent tolocal A in local N in N = 3772 A = address(number:N) X = perons(address:A)