def both

bend-schema-lib@0.4.1.0 · core.bend:1552

import Base

1552def both(-A: Data, -B: Data, p: Maybe<&2, A>, q: Maybe<&2, B>) -> Maybe<&2, Both<A, B>>:
1553  match p q:
1554    case Some{x} Some{y}:
1555      Some{Both{x, y}}
1556    case _ _:
1557      None{}