def tpl_row

bend-prot@0.1.0.0 · tpl.bend:48

import Base

48def tpl_row(+a: TplAtom, ys: List<&2, TplAtom>) -> List<&1, U32 & U32>:
49  match ys:
50    case Nil{}:
51      Nil{}
52    case h <> t:
53      append_tpl(tpl_one(a, h), tpl_row(a, t))