def AaTerm.texts.go

bend-osdev-apparmor@0.1.0.0 · token.bend:621

import bend-osdev-apparmor@0.1.0.0/token.bend as Token
import Base

621def AaTerm.texts.go(xs: List<&2, AaTerm>) -> Maybe<&2, List<&2, List<&2, U32>>>:
622  match xs:
623    case Nil{}:
624      Some{Nil{}}
625    case Con{x, rest}:
626      AaTerm.texts.cons(AaTerm.text(x), AaTerm.texts.go(rest))

Uses (6)

Used by (1)