AndEval

data object AndEval : Eval