Redis.int.done: def of bend-kit-redis@0.3.1.0
Import: import bend-kit-redis@0.3.1.0/redis.bend as Redis
Lines 392-397 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=392&end_line=397

import Base

def int.done(m: Maybe<&1, Val>, +next: U32, stack: List<&1, Frame>) -> St:
  match m:
    case Some{v}:
      SDone{v, next, stack}
    case None{}:
      SBad{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.1.0/redis.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.1.0/redis.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=bend-kit-redis@0.3.1.0/redis.bend&name=Val