keiro-dsl-0.15.0.0: test/conformance-service-package/domain/shared.keiro

language keiro-dsl 4
context workspace-proof

id ProofId prefix=proof