unify: Robinson's Unification Algorithm
In nick-ulle/typesys: General-purpose Abstract Type System
Description
Given two types, this method returns a substitution that can be applied to
both to make them equal. If no such substitution exists, the method throws
an error.
Usage
1
unify(e1, e2, sub = Substitution(), ...)
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
Given two types, this method returns a substitution that can be applied to both to make them equal. If no such substitution exists, the method throws an error.
Usage
1 | unify(e1, e2, sub = Substitution(), ...)
|
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.