def collect_tpl_head

bend-prot@0.1.0.0 · tpl.bend:85

import Base

85def collect_tpl_head(m: Maybe<&2, TplAtom>, rest: List<&2, TplAtom> & Nat) -> List<&2, TplAtom> & Nat:
86  match m:
87    case None{}:
88      match rest:
89        case (as, n):
90          (as, 1n+n)
91    case Some{x}:
92      match rest:
93        case (as, n):
94          (x <> as, n)