Man pages for nick-ulle/typesys
General-purpose Abstract Type System
| Constraint-class | Constraint |
| csolve | Solve a List of Constraints |
| do_substitution | Apply a Substitution |
| format | Format an Object for Printing |
| formula_to_type | Construct R Types from Formula Notation |
| instantiate | Instantiate Variables in a Term or Constraint |
| names.typesys | Get Variable Names |
| SymbolValue | Symbol Value |
| Term-class | Term |
| TypeEnvironment | Type Environment |
| unify | Robinson's Unification Algorithm |
| UnknownValue | Unknown Value |
| vars | Get Variables |
