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

Column Type: 
An Column Type is specification of the content of a Column such as  customer name ,  order date ,  address .
 - ============================== -}

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

module 137d21d35ee2c7f3 where -- ========== Column Type

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import e6f220d45f771837 public -- Physical Data Property

postulate
  ColumnType : ClassOfClassOfBoundedIndividual

postulate --  ColumnType is subTypeOf PhysicalDataProperty
  st-e6f22cb65f771ec0 : ColumnType ⊏⋆ₑ PhysicalDataProperty

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