Client.disconnect.error: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend as Client Lines 130-133 of mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&start_line=130&end_line=133 import Base import mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend as Io def disconnect.error(mutation: Bool, error: Io.Error) -> Error: match mutation: case True{}: CommitUnknown{error} case False{}: RetryRead{error} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=Error https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend&name=Error