fingerprint :: AbelianGroupZ a => SomeTri a -> [[Char]] #

mkTree2 :: RingP a => Bool -> [Pair a] -> Q a #

mkTree :: RingP a => [Pair a] -> Q a #

mkTree' :: RingP a => [Pair a] -> Q a #

type Set a = [a] #

type MT2 a = Q a #

genXPM :: [[Char]] -> String #

root :: AbelianGroup a => SomeTri a -> a #

mergein :: RingP a => Bool -> SomeTri a -> Pair a -> SomeTri a -> SomeTri a #

single :: AbelianGroupZ a => Pair a -> SomeTri a #