{- ============================== 
   Copyright (c) 2024 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.
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module 01ce05606859794a where -- ========== Initiative Instrument

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 01ce05f9685979d8 public -- Initiative Block

postulate
  InitiativeInstrument : ∀ {u} → ClassOfMixedOrderEntity u

postulate --  InitiativeInstrument is subTypeOf InitiativeBlock
  st-0b950d3668e54ade : ∀ {u} → (InitiativeInstrument {u}) ⊏⋆ₑ (InitiativeBlock {u})

-- == Relationships =======================