Mylsm.Utf8.set_mutations_result: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm Lines 1938-1948 of mylsm-lsm-store@0.6.0.1/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&start_line=1938&end_line=1948 import Base def Utf8.set_mutations_result( head: Result<&1, &1, Utf8.Error, Bytes.Mutation>, tail: Result<&1, &1, Utf8.Error, List<&1, Bytes.Mutation>> ) -> Result<&1, &1, Utf8.Error, List<&1, Bytes.Mutation>>: match head tail: case Fail{error} _: Fail{error} case Done{_} Fail{error}: Fail{error} case Done{mutation} Done{mutations}: Done{Con{mutation, mutations}} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.Mutation https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Utf8.Error