Function schema

schema<
    Include extends Seed.TypeName = Seed.TypeName,
    Exclude extends Seed.TypeName = never,
>(
    constraints?: Seed.Constraints<Exclude, Include, keyof Seed.Builder>,
): Arbitrary<
    | Exclude<t_never, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_any, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_unknown, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_void, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_null, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_undefined, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_boolean, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_symbol, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_integer, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_bigint, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_number, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<t_string, { tag: `@traversable/schema/URI::${Exclude}` }>
    | Exclude<
        t_eq<Seed.Fixpoint>,
        { tag: `@traversable/schema/URI::${Exclude}` },
    >
    | Exclude<
        t_array<Seed.Fixpoint>,
        { tag: `@traversable/schema/URI::${Exclude}` },
    >
    | Exclude<
        t_record<Seed.Fixpoint>,
        { tag: `@traversable/schema/URI::${Exclude}` },
    >
    | Exclude<
        t_optional<Seed.Fixpoint>,
        { tag: `@traversable/schema/URI::${Exclude}` },
    >
    | Exclude<
        t_union<Seed.Fixpoint[]>,
        { tag: `@traversable/schema/URI::${Exclude}` },
    >
    | Exclude<
        t_intersect<readonly Seed.Fixpoint[]>,
        { tag: `@traversable/schema/URI::${Exclude}` },
    >
    | Exclude<
        t_tuple<Seed.Fixpoint[]>,
        { tag: `@traversable/schema/URI::${Exclude}` },
    >
    | Exclude<
        t_object<{ [x: string]: Seed.Fixpoint }>,
        { tag: `@traversable/schema/URI::${Exclude}` },
    >,
>

schema(
    constraints?: Seed.Constraints<never, Seed.TypeName, keyof Seed.Builder>,
): Arbitrary<t_LowerBound<unknown>>