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