let Shell = ../types/Shell.dhall let getNextState : Shell = "\"\$NEXT_STATE\"" in getNextState