API for nick-ulle/typesys
General-purpose Abstract Type System

Global functions
.print	Source code
.show	Source code
Constraint-class	Man page
Equivalence	Source code
Function	Source code
ImplicitInstance	Source code
OneOf	Source code
RFunction	Source code
RVector	Source code
Substitution	Source code
SymbolValue	Man page Source code
Term-class	Man page
TypeEnvironment	Man page
UnknownValue	Man page Source code
Variable	Source code
`%in%`	Source code
`[.TypeEnvironment`	Source code
`[[.TypeEnvironment`	Source code
`[[<-.TypeEnvironment`	Source code
`formula_to_type.typesys::Term`	Source code
csolve	Man page
csolve,list-method	Man page
do_substitution	Man page
format	Man page
format.Substitution	Source code
format_class	Source code
formula_to_type	Man page Source code
formula_to_type.call	Source code
formula_to_type.formula	Source code
formula_to_type.name	Source code
instantiate	Man page
length.TypeEnvironment	Source code
make_substitution	Source code
names,typesys::Composite-method	Man page
names,typesys::Constant-method	Man page
names,typesys::Variable-method	Man page
names.TypeEnvironment	Source code
names<-,typesys::Variable-method	Man page
new_variable	Source code
unification_error	Source code
unify	Man page
vars	Man page