{-| module : Data.Number.Flint.Groups.Perm copyright : (c) 2022 Hartmut Monien license : GNU GPL, version 2 or above (see LICENSE) maintainer : hmonien@uni-bonn.de -} module Data.Number.Flint.Groups.Perm ( module Data.Number.Flint.Groups.Perm.FFI, ) where import Data.Number.Flint.Groups.Perm.FFI