/**
 * Do not edit this file it is auto-generated by io-utils / gen-api-models.
 * See https://github.com/pagopa/io-utils
 */
import * as t from "io-ts";
import { IWithinRangeIntegerTag } from "@pagopa/ts-commons/lib/numbers";
export declare const ProblemJson: t.ExactC<t.IntersectionC<[t.TypeC<{}>, t.PartialC<{
    type: t.Type<string, any, unknown>;
    title: t.StringC;
    status: t.UnionC<[import("@pagopa/ts-commons/lib/types").Tagged<IWithinRangeIntegerTag<100, 599>, number, number, unknown>, t.LiteralC<599>]>;
    detail: t.StringC;
    instance: t.StringC;
}>]>>;
export type ProblemJson = t.TypeOf<typeof ProblemJson>;