term-rewriting-0.1: src/Data/Rewriting/CriticalPair.hs

-- This file is part of the 'term-rewriting' library. It is licensed
-- under an MIT license. See the accompanying 'LICENSE' file for details.
--
-- Authors: Bertram Felgenhauer

module Data.Rewriting.CriticalPair (
    CP,
    -- * Important operations
    cps',
    cps,
    -- * Reexported modules
    module Data.Rewriting.CriticalPair.Type,
    module Data.Rewriting.CriticalPair.Ops,
) where

import Data.Rewriting.CriticalPair.Type
import Data.Rewriting.CriticalPair.Ops