~/jendhub

def miss.args

shake@0.7.0.0 · src/cli.bend:1414

import shake@0.7.0.0/src/cli.bend as Cli
import Base

1414# the first required name that is not bound
1415def miss.args(args: List<&2, Arg>, +binds: List<&2, Bind>) -> Maybe<&2, String>:
1416  match args:
1417    case Nil{}:
1418      None{}
1419    case Con{+h, t}:
1420      miss.arg(h, binds, miss.args(t, binds))

Uses (6)

Used by (1)