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

Hardware Equipment: 
A Hardware Equipments are tangible assets (e.g., machinery, tools, IT hardware, vehicles, or production systems) used to execute enterprise operations, deliver services, or produce goods. a Micro Concrete Hardware System.Examples:- Fridge compressor- Car Engine
 - ============================== -}

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

module 9788a1fe661765ee where -- ========== Hardware Equipment

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import c30bf4015a5da72b public -- Concrete Hardware System

postulate
  HardwareEquipment : ClassOfClassOfBoundedIndividual

postulate --  HardwareEquipment is subTypeOf ConcreteHardwareSystem
  st-9788a20a66176636 : HardwareEquipment ⊏⋆ₑ ConcreteHardwareSystem

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