def str

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

import Base

245def str(m: Maybe<&2, Lit>) -> Maybe<&2, String>:
246  match m:
247    case Some{LStr{s}}:
248      Some{s}
249    case _:
250      None{}