def word.dash

emerging-eztoml@0.9.0.0 · main.bend:1164

import Base

1164# a dash after the first character
1165def word.dash(cs: List<&2, Char>, first: Bool) -> Bool:
1166  match cs:
1167    case []:
1168      False{}
1169    case +c <> t:
1170      word.or(word.dash.hit(first, c), word.dash(t, False{}))