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

Library: 
A Library is a kind of Architecture Container used to group Asset Blocks into several independent modules (aka package).They allow virtual partitions of model repositories used for model management. In particular, Asset Blocks belonging to different Library(ies) can have the same name (namespacing).

Documentation : https://framework.sysfeat.com/pages/3aca3fad6aa639da.htm

External references:
  OMG - KerML - LibraryPackage: https://www.omg.org/spec/KerML/1.0/PDF#page=238
 - ============================== -}

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

module SysFEAT.SOF.3aca3fad6aa639da where -- ========== Library

open import Agda.Primitive
open import SysFEAT.SOF.d745dbaa6aa3840b public -- Model Package
open import SysFEAT.SOF.0eb95f1b6855bf64 public -- Architecture Container

Library : ClassOfAbstractEntity
Library = AbstractEntity


--  Library is subTypeOf ModelPackage
st-3aca3fad6aa639da-d745dbaa6aa3840b : Library ⊏ₑ ModelPackage
st-3aca3fad6aa639da-d745dbaa6aa3840b = polySubTypeOf-identity

--  Library withAspect ArchitectureContainer
st-3aca3fad6aa639da-0eb95f1b6855bf64 : Library ⊏ₐₑ (ArchitectureContainer lzero)
st-3aca3fad6aa639da-0eb95f1b6855bf64 = polySubTypeOf-identity


-- == Relations =======================

-- -------------------------------------------------------------------------------------------- 
{- Parent Library: -}
parentLibrary :  Linkage Library Library
parentLibrary = make_Relation "Library Basing" "Parent Library"

postulate -- parentLibrary is subTypeOf parentModelPackage
  st-e7cb01db6a976047-e7cb000b6a975e4c  : parentLibrary  ⊏⋆ᵣ  parentModelPackage