Josiah Kaviani

```python class A1State(State): v1 = Argument(is_integer) class A2State(State): v1 = Argument(is_float) NewState = A1State & A2State ``` The `v1` argument in the `NewState` would fail on assignment. It can't be...

```python class A1State(State): v1 = Variable(is_integer) class A2State(State): v1 = Variable(is_float) NewState = A1State & A2State ``` The `v1` variable in the `NewState` would fail on assignment. It can't be...

```python class A1State(State): v1 = Argument(is_integer) class A2State(State): v1 = Argument(greater_than_7) NewState = A1State & A2State ``` The `v1` argument in the `NewState` would be both an integer and >...

With variables and arguments defined multiple times.

```python class A1State(State): ... class A2State(A1State): # error ...

```python from enum import Enum, auto from stories import I, Story, switch class X(Enum): member1 = auto() member2 = auto() class Action(Story): I.one switch("foo")( X.member1 > I.two, X.member2 > I.three,...

Ideally, data storage layer functions should return naked data like dictionaries and tuples. We could avoid implementation of a private variable concept, if all dirty data from database and third-party...

With arguments and variables defined.

It should store same object.

It should store the same object.