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

Asset Block: 
An Asset Block is an Architecture Block used to describe the System Operating Framework - SOF of the enterprise and its systems.
 - ============================== -}

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

module 0eb95f356855bf94 where -- ========== Asset Block

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 9397b45268777e3b public -- Architecture Block

postulate
  AssetBlock : ∀ {u} → ClassOfMixedOrderEntity u

postulate --  AssetBlock is subTypeOf ArchitectureBlock
  st-9397ca1368779299 : ∀ {u} → (AssetBlock {u}) ⊏⋆ₑ (ArchitectureBlock {u})

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