else "true"
in
let pg_cons l = iter pg_con " and " l in
- let pg_cons_not l = "not (" ^ pg_cons l ^ ")" in
+ let pg_cons_not l =
+ match l with [] -> "true" | _ -> "not (" ^ pg_cons l ^ ")" in
let pg_cons_not_l ll = iter pg_cons_not " and " ll in
let pg_where = match ct, cfl with
| [], [] -> ""