Kaba function subst.subst_variable ed

...

Syntax ed

func static subst.subst_variable(_t: shared![Term], _var: string, by: shared![Term]) -> shared![Term]

Parameters ed

_t: shared![Term]

...

_var: string

...

by: shared![Term]

...

Return ed

...