def miss.levels
import shake@0.7.0.0/src/cli.bend as Cliimport Base
1431# the first required argument a command left unbound, in list order
1432def miss.levels(lvs: List<&2, Level>) -> Maybe<&2, String>:
1433 match lvs:
1434 case Nil{}:
1435 None{}
1436 case Con{hh, tt}:
1437 Level{+args, +binds} = hh
1438 parse.first_req.at(miss.args(args, binds), miss.levels(tt))