Inheritance diagram for hobbes::applySubstitutionF:

Collaboration diagram for hobbes::applySubstitutionF:

Public Member Functions
	applySubstitutionF (MonoTypeUnifier *s)

QualTypePtr	withTy (const QualTypePtr &qt) const

Public Member Functions inherited from hobbes::switchExprTyFnM
UnitV	with (Unit *v)

UnitV	with (Bool *v)

UnitV	with (Char *v)

UnitV	with (Byte *v)

UnitV	with (Short *v)

UnitV	with (Int *v)

UnitV	with (Long *v)

UnitV	with (Float *v)

UnitV	with (Double *v)

UnitV	with (Var *v)

UnitV	with (Let *v)

UnitV	with (LetRec *v)

UnitV	with (Fn *v)

UnitV	with (App *v)

UnitV	with (Assign *v)

UnitV	with (MkArray *v)

UnitV	with (MkVariant *v)

UnitV	with (MkRecord *v)

UnitV	with (AIndex *v)

UnitV	with (Case *v)

UnitV	with (Switch *v)

UnitV	with (Proj *v)

UnitV	with (Assump *v)

UnitV	with (Pack *v)

UnitV	with (Unpack *v)