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

Hardware Configuration: 
A Hardware Configuration is a Mezzo Concrete Hardware System that is an assembly of Hardware Equipments.Examples:- Connected Drone with Online Payment App.- 3D printer.- Automated Guided Vehicles (AGVs)- Connected fridge providing an ordering Functionality and of course a freezing Hardware Capability.- Production equipment in an assembly line (metal forging machine)- Car
 - ============================== -}

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

module 9788a552661766c9 where -- ========== Hardware Configuration

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

postulate
  HardwareConfiguration : ClassOfClassOfBoundedIndividual

postulate --  HardwareConfiguration is subTypeOf ConcreteHardwareSystem
  st-9788a55c66176711 : HardwareConfiguration ⊏⋆ₑ ConcreteHardwareSystem

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