data-debruijn-0.1.0.0: src/Data/DeBruijn/Environment.hs

{-# LANGUAGE CPP #-}

module Data.DeBruijn.Environment (
  -- * Environments
  Env (Nil, (:>)),
  (!),
) where

#ifdef EXPORT_SAFE_API
import Data.DeBruijn.Environment.Safe (
  Env (Nil, (:>)),
  (!),
 )
#else
import Data.DeBruijn.Environment.Fast (
  Env (Nil, (:>)),
  (!),
 )
#endif