def root

bend-toon-codec@0.1.0.0 · src/rep.bend:80

import Base

80# Lines of a whole document.
81def root(+r: Rep) -> List<&2, Ln>:
82  match r:
83    case RPrim{t}:
84      one(0, t)
85    case RLines{ls}:
86      ls
87    case RArr{h, ks}:
88      Con{Ln{0, h}, ks}
89    case REmpty{}:
90      one(0, "[]")