This is not fully enumerative, and its usecases need to be defined but
this gives us a good basis to encode these unaccounted-for failure states (see #28 )
cc @ginnyfahs this is a request failure state which wasn't represented in the flows you worked out with PS.
This is not fully enumerative, and its usecases need to be defined but this gives us a good basis to encode these unaccounted-for failure states (see #28 )
cc @ginnyfahs this is a request failure state which wasn't represented in the flows you worked out with PS.