let pp_closure fmt = function | Var vinfo -> Format.fprintf fmt "value of %a" !Ast_printer.d_var vinfo | Alloc -> Format.fprintf fmt "allocation table"