Mylsm.Sess.apply: def of mylsm-lsm-store@0.3.2.0
Import: import mylsm-lsm-store@0.3.2.0/mylsm.bend as Mylsm
Lines 95-97 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=95&end_line=97

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

def Sess.apply(a, -A: Kind(a), b, -B: Kind(b), pair: Db.Db & A, fun: A -> Sess<b, B>) -> Db.Db & B:
  match pair:
    case (st, x): Sess.run_go(b, B, fun(x), st)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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