module BoolExpr1
where

import DataTypes

-- ------------------------------

foldRT	:: ??? -> RoseTree a -> b
foldRT ??? e
    = undefined

-- ------------------------------

eval	:: Env -> BoolExpr -> Bool
eval env e
    = undefined

proofByEnumeration	:: BoolExpr -> Bool
proofByEnumeration e
    = undefined

partialEval	:: BoolExpr -> BoolExpr
partialEval e
    = undefined

processBottomUp	:: (BoolExpr -> BoolExpr) -> BoolExpr -> BoolExpr
processBottomUp f e
    = undefined

-- ------------------------------