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