def date.eq.nil

emerging-eztoml@0.9.0.0 · main.bend:2526

import Base

2526# both lists ended together
2527def date.eq.nil(pat: List<&2, Char>) -> Bool:
2528  match pat:
2529    case []:
2530      True{}
2531    case _ <> _:
2532      False{}