module Test.Property.Relation (module Export) where

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