def known

bend-kit-redis@0.3.0.0 · redis.bend:335

import bend-kit-redis@0.3.0.0/redis.bend as Redis
import Base

335def known(+t: U32) -> Bool:
336  match t:
337    case 43:
338      True{}
339    case 45:
340      True{}
341    case 58:
342      True{}
343    case 36:
344      True{}
345    case 42:
346      True{}
347    case 95:
348      True{}
349    case 35:
350      True{}
351    case 44:
352      True{}
353    case 40:
354      True{}
355    case 33:
356      True{}
357    case 61:
358      True{}
359    case 37:
360      True{}
361    case 126:
362      True{}
363    case 124:
364      True{}
365    case 62:
366      True{}
367    case _:
368      False{}

Uses (4)

Used by (1)