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