public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aFunction | Function | |
return | Function |
public subst ( Term>.Dictionary |
||
theta | Term>.Dictionary | |
aFunction | Function | |
return | Function |