VariantTraversal
abstract
class VariantTraversal
Common base class of TypeMap and TypeAccumulator
class TypeAccumulator[T]
class CoveringSetAccumulator
class ExistsAccumulator
class ForeachAccumulator
class NamedPartsAccumulator
class TypeSizeAccumulator
class TypeTraverser
class isGroundAccumulator
class TypeMap
class Reducer
class SimplifyMap
class SimplifyKeepUnchecked
class ApproximatingTypeMap
class SubstApproxMap
class AsSeenFromMap
class AvoidWildcardsMap
class DeepTypeMap
class Subst1Map
class Subst2Map
class SubstBindingMap
class SubstMap
class SubstParamMap
class SubstParamsMap
class SubstRecThisMap
class SubstSymMap
class SubstThisMap
object IdentityTypeMap
object reported
class CheckNonCyclicMap