, module Language.LOL.Symantic.Expr.Lambda
, module Language.LOL.Symantic.Expr.Int
, module Language.LOL.Symantic.Expr.Bool
- -- , module Language.LOL.Symantic.Expr.If
+ , module Language.LOL.Symantic.Expr.Maybe
+ , module Language.LOL.Symantic.Expr.If
+ , module Language.LOL.Symantic.Expr.Eq
+ , module Language.LOL.Symantic.Expr.Ord
) where
import Language.LOL.Symantic.Expr.Common
import Language.LOL.Symantic.Expr.Lambda
import Language.LOL.Symantic.Expr.Int
import Language.LOL.Symantic.Expr.Bool
--- import Language.LOL.Symantic.Expr.If
+import Language.LOL.Symantic.Expr.Maybe
+import Language.LOL.Symantic.Expr.If
+import Language.LOL.Symantic.Expr.Eq
+import Language.LOL.Symantic.Expr.Ord