Constraint-class: Constraint
In nick-ulle/typesys: General-purpose Abstract Type System
Description
Superclass for all constraints on terms.
Details
Constraints are pairs of terms with a relation between them. Constraint
subclasses represent specific relations.
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
Superclass for all constraints on terms.
Details
Constraints are pairs of terms with a relation between them. Constraint subclasses represent specific relations.
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.