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)