unicode_fol_kit.substitute

unicode_fol_kit.substitute(term, target, replacement)

Substitute target with replacement in term, with full capture avoidance.

target is a LambdaVar (beta-reduction) or a Variable (grounding a quantified object variable into a Constant). Returns a new Node; the input is never mutated.

Parameters:

• term (Node)

• replacement (Node)

Return type:

Node