/**
 * 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 "italia-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<[t.Type<number & IWithinRangeIntegerTag<100, 599>, number & IWithinRangeIntegerTag<100, 599>, unknown>, t.LiteralC<599>]>;
    detail: t.StringC;
    instance: t.StringC;
}>]>>;
export declare type ProblemJson = t.TypeOf<typeof ProblemJson>;