OptionsCodec.validated.result: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend as OptionsCodec Lines 122-125 of mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend&start_line=122&end_line=125 import Base import mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend as ResourceOptions def validated.result(result: ResourceOptions.Decision) -> Decision: match result: case ResourceOptions.Accepted{options}: Parsed{options} case _: InvalidOptions{} Uses (2): https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=Decision https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend&name=Decision