Uses of Class
orc.type.inference.InferenceContinuation

Packages that use InferenceContinuation

orc.type

Uses of InferenceContinuation in orc.type

Fields in orc.type declared as InferenceContinuation

protected InferenceContinuation

TypingContext.ic

Methods in orc.type with parameters of type InferenceContinuation

TypingContext

TypingContext.bindIC(InferenceContinuation ic)

Constructors in orc.type with parameters of type InferenceContinuation

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config, InferenceContinuation ic)