package veribase sourcedir = "src" builddir = ".build" opts = "--no-prelude" modules = Builtin, PrimIO, Verilude , Algebra.Control.Applicative , Algebra.Control.Functor , Algebra.Control.Monad , Algebra.Group.Group , Algebra.Group.Magma , Algebra.Group.Monoid , Algebra.Group.Semigroup , Algebra.Lattice.JoinSemilattice , Algebra.Lattice.MeetSemilattice , Algebra.Relation.Equivalence , Algebra.Relation.Order , Algebra.Relation.Preorder , Algebra.Ring.Semiring , Control.Console , Control.IO , Control.Show , Data.AVLTree , Data.Boolean , Data.Boolean.Basic , Data.Boolean.Equivalence , Data.Boolean.Group , Data.Boolean.Lattice , Data.Boolean.Order , Data.Either , Data.LinkedList.Applicative , Data.LinkedList.Basic , Data.LinkedList.Equivalence , Data.LinkedList.Functor , Data.LinkedList.Group , Data.LinkedList.Monad , Data.LinkedList , Data.Natural.Basic , Data.Natural.Equivalence , Data.Natural.ExtraOperations , Data.Natural.Group , Data.Natural.Order , Data.Natural.Semiring , Data.Natural.Show , Data.Natural.SupportPrimIntegerLiteral , Data.Natural , Data.Optional , Data.PrimInteger