Predicate signature InputSig::successorTypeIsCondition
Hold if t represents a conditional successor type.
signature predicate successorTypeIsCondition(SuccessorType t)Hold if t represents a conditional successor type.
signature predicate successorTypeIsCondition(SuccessorType t)