def choose

mylsm-lsm-store@0.6.0.1 · src/coordinator/OwnerOpenPolicy.bend:15

import Base

15# Keeps the opened handle only when the requested options match the effective ones.
16def choose(local: Bool, matches: Bool) -> Decision:
17  match matches:
18    case True{}: matched(local)
19    case False{}: RejectOptions{}