Interface t_string

interface t_string {
    _type: string;
    def: string;
    maxLength?: number;
    minLength?: number;
    tag: "@traversable/schema/URI::string";
    between<Min extends number, Max extends number>(
        minLength: Min,
        maxLength: Max,
    ): t_string.between<[min: Min, max: Max]>;
    max<Max extends number>(maxLength: Max): t_string.max<Max>;
    min<Min extends number>(minLength: Min): t_string.min<Min>;
    (got: string | Unknown): got is string;
    (got: unknown): got is string;
}