import { Schema } from "@fncts/schema/Schema/definition";
import { Check } from "@fncts/typelevel";
import { Parser } from "@fncts/schema/Parser/definition";
import { Gen } from "@fncts/test/control/Gen";
/**
 * @tsplus static fncts.schema.SchemaOps map
 * @tsplus location "@fncts/schema/Schema/api/set"
 */
export declare function set<V>(value: Schema<V>): Schema<Set<V>>;
/**
 * @tsplus static fncts.schema.SchemaOps mapFromRecord
 * @tsplus location "@fncts/schema/Schema/api/set"
 */
export declare function setFromArray<V>(value: Schema<V>): Schema<Set<V>>;
/**
 * @tsplus derive fncts.schema.Schema[fncts.Set]<_> 10
 * @tsplus location "@fncts/schema/Schema/api/set"
 */
export declare function deriveSet<A extends Set<any>>(...[value]: [A] extends [Set<infer V>] ? Check<Check.IsEqual<A, Set<V>>> extends Check.True ? [value: Schema<V>] : never : never): Schema<A>;