module Data.Number.Flint.Padic.Mat ( module Data.Number.Flint.Padic.Mat.FFI ) where import Data.Number.Flint.Padic.Mat.FFI