Relational.hs

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

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