-- | Export 'LargeRecordOptions' for the sake of ANN pragmas
--
-- This module is added as an export to user code by the plugin.
module Data.Record.Plugin.Options (
    LargeRecordOptions(..)
  , largeRecord
  ) where

import Data.Record.Internal.Plugin.Options