{-# LANGUAGE Safe #-}
{-# LANGUAGE CPP #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE OverloadedStrings #-}
module Cryptol.Prelude (preludeContents,cryptolTcContents) where
import Data.ByteString(ByteString)
import qualified Data.ByteString.Char8 as B
import Text.Heredoc (there)
preludeContents :: ByteString
preludeContents :: ByteString
preludeContents = String -> ByteString
B.pack [there|lib/Cryptol.cry|]
cryptolTcContents :: String
cryptolTcContents :: String
cryptolTcContents = [there|lib/CryptolTC.z3|]