import type { ModelAlgebraSet } from '@morphic-ts/model-algebras/lib/set';
import type { Type } from 'io-ts';
import { IoTsURI } from '../hkt';
declare module '@morphic-ts/model-algebras/lib/set' {
    /**
     *  @since 0.0.1
     */
    interface SetConfig<L, A> {
        [IoTsURI]: {
            type: Type<A, L>;
        };
    }
}
/**
 *  @since 0.0.1
 */
export declare const ioTsSetInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => ModelAlgebraSet<"IoTsURI", Env>;