Kaba function simplify.eval_product ed

...

Syntax ed

func static simplify.eval_product(t: shared![Term]) -> shared![Term]

...

...