def err.st
import emerging-ezjson@1.3.0.0/src/pull.bend as Pullimport Base
118# a failed step. The unread suffix is dropped
119def err.st(goal: Goal) -> St:
120 S{MDone{SEv{EErr{}}, ""}, Nil{}, goal, False{}, True{}}
import emerging-ezjson@1.3.0.0/src/pull.bend as Pullimport Base
118# a failed step. The unread suffix is dropped
119def err.st(goal: Goal) -> St:
120 S{MDone{SEv{EErr{}}, ""}, Nil{}, goal, False{}, True{}}