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"