Kaba function simplify.eval_function ed

...

Syntax ed

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

Parameters ed

t: shared![Term]
...

Return ed

...