keiro-dsl-0.15.0.0: test/fixtures/workflow-patch-colon.keiro

language keiro-dsl 4
context hospital-capacity

workflow HospitalTransferReservation
  name "hospital-transfer-reservation"
  in ReservationWorkflowInput { reservationId:Id }
  out ReservationWorkflowSummary
  id from input.reservationId via idText
  body
    patch fraud:check-v2 {
      step fraud-check -> FraudCheckResult
    }