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