keiro-dsl-0.15.0.0: test/conformance-skeletons/keiro-dsl-ledger.context.my-service.txt
keiro-dsl scaffold record v1
spec: /dev/stdin
module-root: SkelWorkflow
layout: prefixed
source-language {"declaredLanguageVersion":4,"effectiveLanguageVersion":4,"sourceForm":"declared"}
semantic-contract {"languageSupport":"stable","languageVersion":4,"runtimeSemantics":"keiro-dsl/runtime-semantics/3"}
naming-edition idiomatic-v1
module-role {"family":"WorkflowFacts","kind":"generated","ownerKind":"workflow","ownerName":"workflow HospitalTransferReservation (line 4)","path":"SkelWorkflow/Generated/MyService/HospitalTransferReservation/WorkflowFacts.hs"}
module-role {"family":"WorkflowRuntime","kind":"generated","ownerKind":"workflow","ownerName":"workflow HospitalTransferReservation (line 4)","path":"SkelWorkflow/Generated/MyService/HospitalTransferReservation/WorkflowRuntime.hs"}
generated SkelWorkflow/Generated/MyService/HospitalTransferReservation/WorkflowFacts.hs
generated SkelWorkflow/Generated/MyService/HospitalTransferReservation/WorkflowRuntime.hs