content: {-# LANGUAGE DataKinds              #-}
  {-# LANGUAGE FlexibleContexts       #-}
  {-# LANGUAGE FlexibleInstances      #-}
  {-# LANGUAGE FunctionalDependencies #-}
  {-# LANGUAGE GADTs                  #-}
  {-# LANGUAGE KindSignatures         #-}
  {-# LANGUAGE LambdaCase             #-}
  {-# LANGUAGE MultiParamTypeClasses  #-}
  {-# LANGUAGE PolyKinds              #-}
  {-# LANGUAGE ScopedTypeVariables    #-}
  {-# LANGUAGE UndecidableInstances   #-}
  
  {-# OPTIONS_GHC -Wall      #-}
  
  module Language.Fortran.Model.Op.Meta.Core where
  
  -- import           Data.Int                        (Int16, Int32, Int64, Int8)
  -- import           Data.Word                       (Word8)
  
  -- import           Control.Monad.Reader.Class      (MonadReader (ask))
  
  -- import           Data.SBV
  -- import           Data.SBV.Dynamic
  -- import           Data.SBV.Internals              (SBV (..))
  
  -- import           Language.Expression
  -- import           Language.Expression.Pretty
  
  -- import           Language.Fortran.Model.EvalPrim
  -- import           Language.Fortran.Model.Types
  -- import           Language.Fortran.Model.MetaOp.Repr
  
  
  