Kaba function subst.subst ed

...

Syntax ed

func static subst.subst(_t: shared![Term], pattern: shared![Term], substitution: shared![Term], max_recursion: i32) -> shared![Term]

...

...

...

...

...