Open aeosynth opened 11 years ago
eg {a} = b~ -> a = b~a
{a} = b~
a = b~a
The marker would have to be on LHS. E.g.:
{~m, p: {q, ~n}} = o <=> m = o~m; q = o.p.q; n = o.p~n
{~m, p: {q, ~n}} = o
m = o~m; q = o.p.q; n = o.p~n
eg
{a} = b~
->a = b~a