{- ============================== 
   Copyright (c) 2024 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Policy Framework Asset: 
A Policy Framework Asset is a Policy Asset that is declared in a Business Policy Framework.
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module 4b945e8668a47f80 where -- ========== Policy Framework Asset

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 9397c3d86877842f public -- Policy Asset

postulate
  PolicyFrameworkAsset : ∀ {u} → ClassOfMixedOrderEntity u

postulate --  PolicyFrameworkAsset is subTypeOf PolicyAsset
  st-9e1ddbe6636b5f00 : ∀ {u} → (PolicyFrameworkAsset {u}) ⊏⋆ₑ (PolicyAsset {u})

-- == Relationships =======================