- (out_term st e) v out_name a (out_term st ee) t
- | B.Bind (a, B.Void, t) ->
- let a = R.alpha B.mem e a in
- let ee = B.push e B.empty a (B.Void) in
- KP.fprintf och "(void %a\\ %a)"
- out_name a (out_term st ee) t
+ (out_term st e) v out_name y (out_term st ee) t
+ | B.Bind (_, B.Void, _) -> C.err ()