cs691f

Type Members

1. trait HasSym extends AnyRef

   Trait of objects that treated as unification variables.

2. trait Subst extends AnyRef

   A substitution that binds Syms to arbitrary values.

3. trait Sym extends AnyRef

   It is often necessary to generate names that are guaranteed fresh and the companion object method, Sym.fresh makes it easy to do so:

4. case class UnifyException(msg: String) extends RuntimeException with Product with Serializable

   The exception thrown by unification when unification fails.