1 consts value :: boolex => (nat => bool) => bool
2 primrec
3 "value (Const b) env = b"
4 "value (Var x) env = env x"
5 "value (Neg b) env = (~ value b env)"
6 "value (And b c) env = (value b env & value c env)"