Jwt.iss.bad: def of bend-kit-jwt@0.11.0.1
Import: import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
Lines 364-371 of bend-kit-jwt@0.11.0.1/jwt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&start_line=364&end_line=371

import Base

def iss.bad(want: Maybe<&2, String>, got: Maybe<&2, String>) -> Bool:
  match want got:
    case None{} _:
      False{}
    case Some{w} Some{g}:
      Bool.not(String.eq(octets(w), g))
    case Some{w} None{}:
      True{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&name=octets