rest-rewrite-0.4.4: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Set

Documentation

emptyset :: MetaTerm Source #

(/\) :: MetaTerm -> MetaTerm -> MetaTerm Source #

(\/) :: MetaTerm -> MetaTerm -> MetaTerm Source #

s0 :: MetaTerm Source #

s1 :: MetaTerm Source #

isSubset :: MetaTerm -> MetaTerm -> Rewrite Source #

userRWs :: HashSet Rewrite Source #

evalRWs :: HashSet Rewrite Source #

disjointExample :: String Source #

disjointExample2 :: String Source #

example1 :: String Source #

example2 :: String Source #