Bendtorch.db_of: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/main.bend as Bendtorch
Lines 2863-2866 of bendtorch@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/main.bend&start_line=2863&end_line=2866

import Base

def db_of(s: BG) -> DB:
  match s:
    case BG{q, k, v, d, dq, dk, dv}:
      DB{dq, dk, dv}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=BG
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=DB