Mylsm.Sess.bind: def of mylsm-lsm-store@0.3.2.0
Import: import mylsm-lsm-store@0.3.2.0/mylsm.bend as Mylsm
Lines 99-100 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=99&end_line=100
import Base
def Sess.bind(a, -A: Kind(a), -B: Kind(a), sess: Sess, fun: A -> Sess) -> Sess:
Sess{st => Sess.apply(a, A, a, B, Sess.run_go(a, A, sess, st), fun)}
Uses (3):
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.apply
https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/mylsm.bend&name=Sess.run_go