FindSubClasses

MacroUtils

fail

MacroUtils

findConcreteAdtTypes

MacroUtils

findConcreteAdtTypesNE

MacroUtils

findConcreteTypes

MacroUtils

findConcreteTypesNE

MacroUtils

findUnivEqAmongstImplicitArgs

UnivEqMacros

force

UnivEq