def AaTerm.texts.cons

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

import Base

609# the texts of a value: one word or string, or the words and strings of a list
610def AaTerm.texts.cons(a: Maybe<&2, List<&2, U32>>, b: Maybe<&2, List<&2, List<&2, U32>>>) -> Maybe<&2, List<&2, List<&2, U32>>>:
611  match a:
612    case None{}:
613      None{}
614    case Some{x}:
615      match b:
616        case None{}:
617          None{}
618        case Some{xs}:
619          Some{Con{x, xs}}