def value_of

mylsm-lsm-store@0.3.2.0 · mylsm.bend:153

import mylsm-lsm-store@0.3.2.0/mylsm.bend as Mylsm
import Base
import mylsm-lsm-store@0.3.2.0/src/Db.bend as Db

153# Project the answer out of a runner pair.
154def value_of(a, -A: Kind(a), pair: Db.Db & A) -> A:
155  match pair:
156    case (db, x): x

Uses (3)

Used by (0)

No other definition uses this definition.