Function refine

refine<
    Base extends string
    | number
    | bigint
    | boolean,
    R extends string | number | bigint | boolean,
>(
    __namedParameters: Readonly<
        {
            baseType: Type<Base>;
            defaultValue: R;
            is: (a: Base) => a is R;
            typeName?: string;
        },
    >,
): Type<R>
Type Parameters
- Base extends string | number | bigint | boolean
- R extends string | number | bigint | boolean
Parameters
- __namedParameters: Readonly<
      {
          baseType: Type<Base>;
          defaultValue: R;
          is: (a: Base) => a is R;
          typeName?: string;
      },
  >
Returns Type<R>
- Defined in src/other-types/refine.mts:9