Mylsm.sdel: def of mylsm-lsm-store@0.3.2.0 Import: import mylsm-lsm-store@0.3.2.0/mylsm.bend as Mylsm Lines 137-139 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=137&end_line=139 import Base # Session step deleting one key. def sdel(+key: String) -> Sess<&2, Unit>: Sess{db => (del_go(db, key), Unit{})} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit 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=del_go