def has_dot

bend-toon-codec@0.1.0.0 · src/fold.bend:59

import bend-toon-codec@0.1.0.0/src/fold.bend as Fold

import Base

59def has_dot(+s: String) -> Bool:
60  match s:
61    case SNil{}:
62      False{}
63    case SCon{c, t}:
64      Char.is_eq(c, '.') || has_dot(t)

Uses (5)

Used by (2)