{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Initiative Block: An Initiative Block is a Model Building Block used to describe enterprise transformation and sustainability Initiatives. Documentation : https://framework.sysfeat.com/pages/01ce05f9685979d8.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.SOF.01ce05f9685979d8 where -- ========== Initiative Block open import Agda.Primitive open import SysFEAT.SOF.0eb95e566855bed9 public -- Model Building Block InitiativeBlock : ∀ (u : Level) → ClassOfMixedOrderEntity u InitiativeBlock u = MixedOrderEntity u -- InitiativeBlock is subTypeOf ModelBuildingBlock st-01ce05f9685979d8-0eb95e566855bed9 : ∀ {u v} → (InitiativeBlock u) ⊏⋆ₑ (ModelBuildingBlock v) st-01ce05f9685979d8-0eb95e566855bed9 = trivialPolySubTypeOfEntity -- == Relations =======================