Bi.ipkg

package Bi

sourcedir = src
modules = Data.Bi

        , Data.Util

        , Data.Bip
        , Data.Bip.AddMul
        , Data.Bip.Iter
        , Data.Bip.OrdSub
        , Data.Bip.PowSqrt
        , Data.Bip.Div
        , Data.Bip.Nat
        , Data.Bip.Compat
        , Data.Bip.ProofsPruv

        , Data.Bin
        , Data.Bin.AddSubMul
        , Data.Bin.Bitwise
        , Data.Bin.Iter
        , Data.Bin.Ord
        , Data.Bin.PowSqrt
        , Data.Bin.DivMod
        , Data.Bin.Nat

        , Data.Biz
        , Data.Biz.AddSubMul
        , Data.Biz.Bitwise
        , Data.Biz.Iter
        , Data.Biz.Ord
        , Data.Biz.PowSqrt
        , Data.Biz.DivMod
        , Data.Biz.Nat

        , Data.BizMod2
        , Data.BizMod2.Core
        , Data.BizMod2.Ord
        , Data.BizMod2.AddSubMul
        , Data.BizMod2.DivMod
        , Data.BizMod2.Bitwise
        , Data.BizMod2.Bitwise.Shift
        , Data.BizMod2.Bitwise.Pow2
        , Data.BizMod2.Bitwise.ZSExt

opts = "-p pruviloj -p contrib"