Cli.pos_of: def of shake@0.7.0.0 Import: import shake@0.7.0.0/src/cli.bend as Cli Lines 404-410 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=404&end_line=410 import Base # the positionals of a spec, in order def pos_of(args: List<&2, Arg>) -> List<&2, Arg>: match args: case Nil{}: Nil{} case Con{+h, t}: pos_of.put(pos.is(h), h, pos_of(t)) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Arg https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=pos.is https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=pos_of.put