zsyntax-0.2.0.0: src/Otter.hs

module Otter
  ( module Otter.Rule
  , module Otter.SearchRes
  , Subsumable(..)
  , search
  ) where

import Otter.Rule
import Otter.SearchRes
import Otter.Internal.Search
import Otter.Internal.Structures