export declare type $Nominal<I extends string = string, T = any> = $Type<I, T> & ((value: T) => Nominal<I, T>);

export declare function $nominal<I extends string, P>(id: I, parent?: $Nominal<string, P> | null | undefined, generics?: $Type[] | null | undefined): <T>() => $Nominal<I, T & P>;

export declare interface $Type<I extends string = string, T = any> {
    type?: Brand<I> & T;
    id: I;
    parent?: $Type | null | undefined;
    generics?: $Type[] | null | undefined;
}

export declare function $type<I extends string, T>(id: I, parent?: $Type | null | undefined, generics?: $Type[] | null | undefined): $Type<I, T>;

export declare type Brand<I extends string = string> = {
    [id]?: I;
};

declare const id: unique symbol;

export declare type InferType<T extends $Type> = Exclude<T['type'], undefined>;

export declare function is<T extends $Type>(value: any, type: T): value is InferType<T>;

export declare function isType(a: $Type, b: $Type): boolean;

export declare type Nominal<I extends string, T> = Brand<I> & T & {
    $type: $Type<I, T>;
};

export declare type Unbrand<T> = T extends Brand<any> & infer U ? U : T;

export { }