{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Deployed Software System: Documentation : https://framework.sysfeat.com/pages/2c93313867644795.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.EA.2c93313867644795 where -- ========== Deployed Software System open import Agda.Primitive DeployedSOftwareSystem : ClassOfBoundedIndividual DeployedSOftwareSystem = BoundedIndividual