Closed proofit404 closed 1 year ago
Having a union of many states could look awful with chosen syntax.
state_class = (
A1State
& A2State
& A3State
& A4State
& A5State
& A6State
& A7State
& A8State
& A9State
& A10State
)
state_class = Union(
A1State,
A2State,
A3State,
A4State,
A5State,
A6State,
A7State,
A8State,
A9State,
A10State,
)
Even more boilerplate could be reduced if we would be able to merge all state subclasses from different namespaces.
state_class = Union(cases.usecases.scopes, bot.usecases.scopes)
Superseded by #722
The
NewState
would have botha1v1
anda2v1
arguments declared.If name was declared as argument at least in one
State
of the union, it will be allowed to be used as an argument. Even if in other states it was declared as variable.