Man pages for nick-ulle/typesys
General-purpose Abstract Type System

Constraint-classConstraint
csolveSolve a List of Constraints
do_substitutionApply a Substitution
formatFormat an Object for Printing
formula_to_typeConstruct R Types from Formula Notation
instantiateInstantiate Variables in a Term or Constraint
names.typesysGet Variable Names
SymbolValueSymbol Value
Term-classTerm
TypeEnvironmentType Environment
unifyRobinson's Unification Algorithm
UnknownValueUnknown Value
varsGet Variables
nick-ulle/typesys documentation built on Jan. 21, 2020, 5:13 p.m.