def out.fail.at
import bolt@1.26.0.0/src/args.bend as Argsimport Base
import shake@0.6.0.0/main.bend as Shake
163# a failed parse, given whether it asked for usage: that usage page, or the
164# error
165def out.fail.at(asked: Maybe<&2, List<&2, String>>, +ee: Shake.ParseErr) -> Out:
166 match asked:
167 case Some{path}:
168 Stop{Page{}, help_text(path), 0}
169 case None{}:
170 Stop{Err{}, err_text(ee), 1}