def cs.some

emerging-eztoml@0.9.0.0 · main.bend:622

import Base

622# whether the list still has a character
623def cs.some(cs: List<&2, Char>) -> Bool:
624  match cs:
625    case []:
626      False{}
627    case _ <> _:
628      True{}