def zsh_deeper

cli@0.2.0.0 · cli.bend:6845

import cli@0.2.0.0/cli.bend as Cli
import Base

6845def zsh_deeper(arms: List<&2, String>, +depth: Nat, +ind: String) ->
6846    List<&2, String>:
6847  match arms:
6848    case Nil{}: []
6849    case head <> tail:
6850      List.concat(&2, String, [
6851        [String.append(ind, "else"),
6852          String.concat([ind, "  case $words[", Nat.show(depth), "] in"])],
6853        head <> tail,
6854        [String.append(ind, "  esac")],
6855      ])

Uses (7)

Used by (1)