Type.hsc

module FLINT.Type where

import Prelude hiding (Integer)


#include "flint/fmpz.h"
#include "flint/fmpz_mat.h"

data Integer = Integer
data Matrix = Matrix

integerSize :: Int
integerSize = #{size fmpz_t}

matrixSize :: Int
matrixSize = #{size fmpz_mat_t}