{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Business Output: Documentation : https://framework.sysfeat.com/pages/56ea2d1e66059a5a.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.EA.56ea2d1e66059a5a where -- ========== Business Output open import Agda.Primitive BusinessOutput : ClassOfClassOfIndividual BusinessOutput = ClassOfIndividual