def jwk.use

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

import Base

674def jwk.use(m: Maybe<&2, Lit>) -> Maybe<&2, Unit>:
675  match m:
676    case None{}:
677      Some{Unit{}}
678    case Some{LStr{s}}:
679      Bool.pick(Maybe<&2, Unit>, String.eq(s, "sig"), Some{Unit{}}, None{})
680    case Some{_}:
681      None{}