CoordinatorPolicy.open.role: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend as CoordinatorPolicy
Lines 75-84 of mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend&start_line=75&end_line=84

import Base

# Chooses local ownership or an established endpoint from lock observations.
def open.role(lock: LockOutcome, endpoint: EndpointOutcome) -> OpenRole:
  match lock:
    case LockAcquired{}: LocalOwner{}
    case LockBusy{}:
      match endpoint:
        case EndpointPresent{}: ExistingOwnerClient{}
        case EndpointMissing{}: ReturnBusy{}
        case EndpointFailed{}: PropagateOpenFailure{}
    case LockFailed{}: PropagateOpenFailure{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend&name=EndpointOutcome
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend&name=LockOutcome
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CoordinatorPolicy.bend&name=OpenRole