{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Risk Severity: Documentation : https://framework.sysfeat.com/pages/7a22a5a85fdbb5e9.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.EA.7a22a5a85fdbb5e9 where -- ========== Risk Severity open import Agda.Primitive RiskSeverity : PropertyType RiskSeverity = ClassOfProperty