{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Initiative Instrument: An Initiative Instrument is a resource and course of actions defined by Enduring Initiatives to achieve its objectives.For instance:Data Controls are mechanisms used to ensure data quality and data integrityPrivacy Representatives are used to identify national entities in charge on privacy. Documentation : https://framework.sysfeat.com/pages/01ce05606859794a.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.SOF.01ce05606859794a where -- ========== Initiative Instrument open import Agda.Primitive open import SysFEAT.SOF.01ce05f9685979d8 public -- Initiative Block InitiativeInstrument : ∀ (u : Level) → ClassOfMixedOrderEntity u InitiativeInstrument u = MixedOrderEntity u -- InitiativeInstrument is subTypeOf InitiativeBlock st-01ce05606859794a-01ce05f9685979d8 : ∀ {u v} → (InitiativeInstrument u) ⊏⋆ₑ (InitiativeBlock v) st-01ce05606859794a-01ce05f9685979d8 = trivialPolySubTypeOfEntity -- == Relations =======================