Kaba function simplify.extract_product_group ed
...
Syntax ed
func static simplify.extract_product_group(t: shared![Term], out inverse: bool[]) -> shared![Term][]
Parameters ed
- t: shared![Term]
- ...
- inverse: bool[]
- ...
Return ed
...
...
func static simplify.extract_product_group(t: shared![Term], out inverse: bool[]) -> shared![Term][]
...