{- ============================== Copyright (c) 2026 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation This work is released under the MIT License. framework.sysfeat.com Security Control Family: Documentation : https://framework.sysfeat.com/pages/50ad667e632da725.htm - ============================== -} {-# OPTIONS --cubical --guardedness #-} module SysFEAT.EA.50ad667e632da725 where -- ========== Security Control Family open import Agda.Primitive SecurityControlFamily : ClassOfClassOfBoundedIndividual SecurityControlFamily = ClassOfBoundedIndividual