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

Stakeholder: 
A Stakeholder is an individual, team, organization, or classes thereof, having an interest in an Initiative.Stakeholders have concerns with respect to the Initiative considered in relation to its environment.
 - ============================== -}

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

module bcebd0175491272a where -- ========== Stakeholder

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 29cd2db0661546c4 public -- Individual State
open import 6662916b68dd5f84 public -- Governance Instrument

postulate
  Stakeholder : ClassOfBoundedIndividual

postulate --  Stakeholder is subTypeOf IndividualState
  st-910195fd550a2db4 : Stakeholder ⊏⋆ₑ IndividualState

postulate --  Stakeholder is subTypeOf GovernanceInstrument
  st-a66fa9d165a98513 : Stakeholder ⊏ₐₑ GovernanceInstrument {lzero}

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