{- ============================== 
   Copyright (c) 2024 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Governance Container: 
Container of Model Building Blocks used to measure, assess, monitor transformation Initiatives .
 - ============================== -}

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

module 0f64116a68597a27 where -- ========== Governance Container

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 0eb95dce6855be2e public -- Model Container
open import 0f641043685975c9 public -- Governance Building Block

postulate
  GovernanceContainer : ∀ {u} → ClassOfMixedOrderEntity u

postulate --  GovernanceContainer is subTypeOf ModelContainer
  st-0f64119b68597a81 : ∀ {u} → (GovernanceContainer {u}) ⊏⋆ₑ (ModelContainer {u})

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

{- Packaged Governance Block:  -}
postulate -- NestingRelation: Packaged Governance Block
  packagedGovernanceBlock-nestingbinding : ∀ {u} → (GovernanceContainer {u}) ⊏ₑ  LexicalScope {u}
  packagedGovernanceBlock : ∀ {u} → classOfNestingRelation {ct = GovernanceBuildingBlock {u}}  (packagedGovernanceBlock-nestingbinding {u})