[Missing <summary> documentation for "F:P.Runtime.StateImpl.SuccessorFound.a"]
public StateImpl a
Public a As StateImpl
public: StateImpl^ a
val mutable a: StateImpl