Mylsm.run_sess: def of mylsm-lsm-store@0.3.2.0
Import: import mylsm-lsm-store@0.3.2.0/mylsm.bend as Mylsm
Lines 149-151 of mylsm-lsm-store@0.3.2.0/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.3.2.0/mylsm.bend&start_line=149&end_line=151

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

# Execute a whole session against a handle.
def run_sess(a, -A: Kind(a), st: Db.Db, sess: Sess<a, A>) -> Db.Db & A:
  Sess.run_go(a, A, sess, st)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/mylsm.bend&name=Sess
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/mylsm.bend&name=Sess.run_go
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/Db.bend&name=Db