Jwt.alg.name: def of bend-kit-jwt@0.11.0.1
Import: import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt
Lines 70-81 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=70&end_line=81

import Base

def alg.name(a: Alg) -> String:
  match a:
    case HS256{}:
      "HS256"
    case HS384{}:
      "HS384"
    case HS512{}:
      "HS512"
    case RS256{}:
      "RS256"
    case ES256{}:
      "ES256"

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-jwt@0.11.0.1/jwt.bend&name=Alg