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

Systemic Level: 

 - ============================== -}

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

module 0c450e776a031ff0 where -- ========== Systemic Level

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 8d1ceeab68f755a5 public -- Class Partition
open import 0c450e8c6a032050 public -- Class of Systemic Level

postulate
  SystemicLevel : ∀ {u} → MixedOrderMetaClass u

postulate --  SystemicLevel is subTypeOf ClassPartition
  st-0c450f2f6a03216d : ∀ {u} → (SystemicLevel {u}) ⊏⋆ₑ (ClassPartition u)

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