{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Security Measure Type: Security measures are appropriate technical, organizational or certification measures to be taken to ensure that the requirements of the GDPR are met. Documentation : https://framework.sysfeat.com/pages/b3c824665c709228.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.EA.b3c824665c709228 where -- ========== Security Measure Type open import Agda.Primitive SecurityMeasureType : ClassOfClassOfBoundedIndividual SecurityMeasureType = ClassOfBoundedIndividual