- let pp_entry frm = function
- | a, B.Abst w ->
- F.fprintf frm "@,@[%a : %a@]" id a (pp_term c) w
- | a, B.Abbr v ->
- F.fprintf frm "@,@[%a = %a@]" id a (pp_term c) v
- | a, B.Void ->
- F.fprintf frm "@,%a" id a
+ let pp_entry f c a = function
+ | B.Abst w ->
+ F.fprintf frm "@,@[%a : %a@]" id a (pp_term c) w; f ()
+ | B.Abbr v ->
+ F.fprintf frm "@,@[%a = %a@]" id a (pp_term c) v; f ()
+ | B.Void ->
+ F.fprintf frm "@,%a" id a; f ()