def list_number

cli@0.2.0.0 · cli.bend:6271

import Base

6271# The number of values in lists, counting from k + 1 after a miss, or 0.
6272def list_number(lists: List<&2, List<&2, String>>,
6273    +values: List<&2, String>, hit: Bool, +k: Nat) -> Nat:
6274  match lists hit:
6275    case _ True{}: k
6276    case Nil{} False{}: 0n
6277    case head <> tail False{}:
6278      list_number(tail, values, same_words(head, values), (k + 1n : Nat))