||| A setoid is a type equipped with an equivalence relation
module Data.Setoid

import public Data.Setoid.Definition
import public Data.Setoid.Either
import public Data.Setoid.Pair
import public Data.Setoid.Vect
import public Data.Setoid.List

import public Syntax.PreorderReasoning.Setoid