Redis.known: def of bend-kit-redis@0.3.1.0
Import: import bend-kit-redis@0.3.1.0/redis.bend as Redis
Lines 335-368 of bend-kit-redis@0.3.1.0/redis.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-redis@0.3.1.0/redis.bend&start_line=335&end_line=368

import Base

def known(+t: U32) -> Bool:
  match t:
    case 43:
      True{}
    case 45:
      True{}
    case 58:
      True{}
    case 36:
      True{}
    case 42:
      True{}
    case 95:
      True{}
    case 35:
      True{}
    case 44:
      True{}
    case 40:
      True{}
    case 33:
      True{}
    case 61:
      True{}
    case 37:
      True{}
    case 126:
      True{}
    case 124:
      True{}
    case 62:
      True{}
    case _:
      False{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil