readmodel-query-unresolved.keiro

language keiro-dsl 4
context hospital-capacity

operation QueryTransferDecisions
  query missing_model
    input TransferDecisionQuery
    result Maybe TransferDecision
    consistency Strongg