def run_sess

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

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

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

Uses (4)

Used by (0)

No other definition uses this definition.