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