(* used in BrgOutput.pp_lenv *)
let rec fold_right f map e x = match e with
| Null -> f x
- | Cons (e, c, a, b) -> fold_right (map f e c a b) map e x
+ | Cons (e, c, a, b) -> fold_right (map f c a b) map e x
let rec mem err f e b = match e with
| Null -> err ()