def miss.levels

shake@0.7.0.0 · src/cli.bend:1431

import shake@0.7.0.0/src/cli.bend as Cli
import 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))

Uses (6)

Used by (1)