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

Network Interface: 
A Network Interface is a set of rules and conventions that govern the communication between devices on a Computer Network.
 - ============================== -}

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

module d160042562e08353 where -- ========== Network Interface

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 26b8382f5eeae265 public -- Technology Interface

postulate
  NetworkInterface : ClassOfClassOfIndividual

postulate --  NetworkInterface is subTypeOf TechnologyInterface
  st-d160042c62e08396 : NetworkInterface ⊏⋆ₑ TechnologyInterface

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