keiro-dsl-0.15.0.0: test/fixtures/workspace-nominals/domain/shared.keiro

language keiro-dsl 4
context workspace-nominal-proof

id ProjectId prefix=proj

enum ProjectPhase { Draft=draft Active=active }

enum UnusedNominal { Present=present Absent=absent }