Set
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 #