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