def db_of

bendtorch@1.3.0.0 · main.bend:2863

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

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

Uses (2)

Used by (10)