{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Last Modified Date: Documentation : https://framework.sysfeat.com/pages/affec2485f6072e2.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.EA.affec2485f6072e2 where -- ========== Last Modified Date open import Agda.Primitive LastModifiedDate : PropertyType LastModifiedDate = ClassOfProperty