def strs.push

bend-kit-jwt@0.11.0.1 · jwt.bend:198

import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt

import Base

198def strs.push(s: Maybe<&2, String>, acc: Maybe<&2, List<&2, String>>) -> Maybe<&2, List<&2, String>>:
199  match s acc:
200    case Some{x} Some{l}:
201      Some{Con{x, l}}
202    case _ _:
203      None{}

Uses (3)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:strs