{-# OPTIONS_HADDOCK hide, prune, ignore-exports #-}
module Data.Number.Flint.Fq.Embed (
  module Data.Number.Flint.Fq.Embed.FFI
  ) where

import Data.Number.Flint.Fq.Embed.FFI