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)