CSPM.TypeChecker.Common
class TypeCheckable a b
ensureAreEqual
ensureIsList
ensureIsSet
ensureIsBool
ensureIsInt
ensureIsChannel
ensureIsExtendable
ensureIsEvent
ensureIsProc
ensureHasConstraint