{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Non applicable: Documentation : https://framework.sysfeat.com/pages/5e32bf586929baab.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.SOF.5e32bf586929baab where -- ========== Non applicable open import Agda.Primitive open import SysFEAT.SOF.5e32ba416929b430 public -- Policity Decision Option Nonapplicable : ClassOfIndividual Nonapplicable = Individual -- Nonapplicable is subTypeOf PolicityDecisionOption st-5e32bf586929baab-5e32ba416929b430 : Nonapplicable ⊏ₑ PolicityDecisionOption st-5e32bf586929baab-5e32ba416929b430 = polySubTypeOf-identity