def fish_valued_arm

cli@0.2.0.0 · cli.bend:7067

import Base

7067def fish_valued_arm(k: Nat, names: List<&2, String>) -> List<&2, String>:
7068  match names:
7069    case Nil{}: []
7070    case head <> tail:
7071      [String.append("        case ", Nat.show(k)),
7072        String.append("            contains -- $argv[2] ",
7073          fish_list(head <> tail))]