let min_print fmt vs = (VS.fold
    (fun vi () ->
      Format.fprintf fmt "%s(%a)," vi.vname
        d_type vi.vtype)
    vs ());
  Format.fprintf fmt "@\n"