{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Data Source Snaphot Item: Documentation : https://framework.sysfeat.com/pages/762580705f6bd560.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.EA.762580705f6bd560 where -- ========== Data Source Snaphot Item open import Agda.Primitive DataSourceSnaphotItem : ClassOfBoundedIndividual DataSourceSnaphotItem = BoundedIndividual