def collect_tpl

bend-prot@0.1.0.0 · tpl.bend:96

import bend-prot@0.1.0.0/tpl.bend as Tpl
import Base

96def collect_tpl(lines: List<&2, String>) -> List<&2, TplAtom> & Nat:
97  match lines:
98    case Nil{}:
99      (Nil{}, 0n)
100    case h <> t:
101      collect_tpl_head(parse_tpl_line(h), collect_tpl(t))

Uses (8)

Used by (0)

No other definition uses this definition.