Predicate signature InputSig::getAMatchingSuccessorType
Gets a successor type that matches completion c.
signature SuccessorType getAMatchingSuccessorType(Completion c)Gets a successor type that matches completion c.
signature SuccessorType getAMatchingSuccessorType(Completion c)