def take.fin

emerging-eztoml@0.9.0.0 · main.bend:496

import Base

496# the finished take
497def take.fin(ok: Bool, nn: U32, cs: List<&2, Char>) -> Dig:
498  match ok:
499    case True{}:
500      DigOk{nn, cs}
501    case False{}:
502      DigBad{}