def dots

bend-kit-llm@0.13.0.1 · llm.bend:170

import bend-kit-llm@0.13.0.1/llm.bend as Llm

import Base

170def dots(s: String, +n: U32) -> U32:
171  match s:
172    case SNil{}:
173      n
174    case SCon{Chr{+c}, t}:
175      dots(t, Bool.pick(U32, U32.is_eq(c, 46), (n + 1 : U32), n))

Uses (6)

Used by (1)

bend-kit-llm@0.13.0.1/llm:block