module Test.Relation (module Export) where

import Test.Relation.Connex     as Export
import Test.Relation.Reflexive  as Export
import Test.Relation.Symmetric  as Export
import Test.Relation.Transitive as Export