do_substitution: Apply a Substitution

Description Usage Arguments Details Value

Description

This generic function applies a Substitution to a Term or to another Substitution (composition).

Usage

1

Arguments

term

A Term or Substitution object.

sub

A Substitution object to apply.

Details

Substitutions are callable, and this is the generic they call. For clarity, calling a Substitution directly on a term is preferable to calling this function.

Value

An object of the same class as term.


nick-ulle/typesys documentation built on Jan. 21, 2020, 5:13 p.m.