def texts

lawful-fields@0.1.1.0 · defs.bend:152

import Base

152def texts(ps: List<&2, List<&2, U32>>) -> List<&2, String>:
153  match ps:
154    case Nil{}:
155      Nil{}
156    case Con{p, t}:
157      Con{text(p), texts(t)}