Kaba function simplify.eval_wedge ed

...

Syntax ed

func static simplify.eval_wedge(_t: shared![Term]) -> shared![Term]

...

...