reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
343 if (LCase) { 345 tryUnify(LCase, Case.getCaseSuccessor());