data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJTFormula.hs:15: applys ==> applies
data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJTFormula.hs:99: applys ==> applies
data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJTFormula.hs:100: applys ==> applies
data/haskell-djinn-lib-0.0.1.3/src/Djinn/HTypes.hs:280: te ==> the, be, we
data/haskell-djinn-lib-0.0.1.3/src/Djinn/HTypes.hs:282: te ==> the, be, we
data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJT.hs:92: applys ==> applies
data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJT.hs:129: applys ==> applies
data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJT.hs:137: applys ==> applies
data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJT.hs:330: applys ==> applies
data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJT.hs:336: applys ==> applies
data/haskell-djinn-lib-0.0.1.3/src/Djinn/LJT.hs:409: applys ==> applies