Kaba function simplify.make_unique_in_sum ed
...
Syntax ed
func static simplify.make_unique_in_sum(out l: shared![Term][], out negative: bool[])
Parameters ed
- l: shared![Term][]
- ...
- negative: bool[]
- ...
...
func static simplify.make_unique_in_sum(out l: shared![Term][], out negative: bool[])