{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Governance Instrument: Governance Instruments include all instruments used to monitor and steer transformation Initiatives. They include incidents, assessments, indicators and their templates. Documentation : https://framework.sysfeat.com/pages/6662916b68dd5f84.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.SOF.6662916b68dd5f84 where -- ========== Governance Instrument open import Agda.Primitive open import SysFEAT.SOF.0f641043685975c9 public -- Governance Building Block GovernanceInstrument : ∀ (u : Level) → ClassOfMixedOrderEntity u GovernanceInstrument u = MixedOrderEntity u -- GovernanceInstrument is subTypeOf GovernanceBuildingBlock st-6662916b68dd5f84-0f641043685975c9 : ∀ {u v} → (GovernanceInstrument u) ⊏⋆ₑ (GovernanceBuildingBlock v) st-6662916b68dd5f84-0f641043685975c9 = trivialPolySubTypeOfEntity -- == Relations =======================