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

Mezzo Resource Operating Asset: 
A Mezzo Resource Operating Asset is a Resource Operating Asset that corresponds to the mezzo systemic level.
 - ============================== -}

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

module 61e3afb3679f1256 where -- ========== Mezzo Resource Operating Asset

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 0c45104d6a032286 public -- Mezzo Operating Asset
open import f8e61da0621db6fa public -- Resource Operating Asset

postulate
  MezzoResourceOperatingAsset : ClassOfClassOfBoundedIndividual

postulate --  MezzoResourceOperatingAsset is subTypeOf MezzoOperatingAsset
  st-90d698046a038a47 : MezzoResourceOperatingAsset ⊏ₐₑ MezzoOperatingAsset {lsuc(lzero)}

postulate --  MezzoResourceOperatingAsset is subTypeOf ResourceOperatingAsset
  st-61e3afc9679f12a3 : MezzoResourceOperatingAsset ⊏⋆ₑ ResourceOperatingAsset

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