module Rerefined.Predicate.Relational
  ( CompareValue
  , Sign(..)
  , RelOp(..)
  , CompareLength
  ) where

import Rerefined.Predicate.Relational.Internal
import Rerefined.Predicate.Relational.Value
import Rerefined.Predicate.Relational.Length