lawz-0.0.1: src/Test/Relation.hs

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