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