export {} from './model/intersections';
export {} from './model/newtype';
export {} from './model/object';
export {} from './model/primitives';
export {} from './model/recursive';
export {} from './model/refined';
export {} from './model/set';
export {} from './model/str-map';
export {} from './model/tagged-unions';
export {} from './model/unions';
export {} from './model/unknown';
export * from './hkt';
/**
 *  @since 0.0.1
 */
export declare const modelIoTsNonStrictInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => import("@morphic-ts/model-algebras/lib/refined").ModelAlgebraRefined<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/newtype").ModelAlgebraNewtype<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/unknown").ModelAlgebraUnknown<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/primitives").ModelAlgebraPrimitive<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/intersections").ModelAlgebraIntersection<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/unions").ModelAlgebraUnions<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/tagged-unions").ModelAlgebraTaggedUnions<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/str-map").ModelAlgebraStrMap<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/set").ModelAlgebraSet<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/recursive").ModelAlgebraRecursive<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/object").ModelAlgebraObject<"IoTsURI", Env>;
/**
 *  @since 0.0.1
 */
export declare const modelIoTsStrictInterpreter: <Env extends Partial<Readonly<Record<"IoTsURI", any>>>>() => import("@morphic-ts/model-algebras/lib/refined").ModelAlgebraRefined<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/newtype").ModelAlgebraNewtype<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/unknown").ModelAlgebraUnknown<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/primitives").ModelAlgebraPrimitive<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/intersections").ModelAlgebraIntersection<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/unions").ModelAlgebraUnions<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/tagged-unions").ModelAlgebraTaggedUnions<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/str-map").ModelAlgebraStrMap<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/set").ModelAlgebraSet<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/recursive").ModelAlgebraRecursive<"IoTsURI", Env> & import("@morphic-ts/model-algebras/lib/object").ModelAlgebraObject<"IoTsURI", Env>;