do_substitution: Apply a Substitution
In nick-ulle/typesys: General-purpose Abstract Type System
Description
Usage
Arguments
Details
Value
Description
This generic function applies a Substitution to a Term or to another
Substitution (composition).
Usage
1
do_substitution(term, sub)
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.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Description Usage Arguments Details Value
Description
This generic function applies a Substitution to a Term or to another Substitution (composition).
Usage
1 | do_substitution(term, sub)
|
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.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.