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
nick-ulle/typesys documentation built on Aug. 2, 2019, 12:04 a.m.