let pp_closure fmt = function
    | Mclos cl -> M.pp_closure fmt cl
    | Fclos (vinfo,s) -> Format.fprintf fmt "%a@@%s" !Ast_printer.d_var vinfo s