liminal 0.4.0 → 1.0.0-beta.2

package/esm/core/Int.d.ts

@@ -0,0 +1,768 @@
+import type { bool } from "./Bool.js";
+import type { MerkleList } from "./MerkleList.js";
+import type { MerkleMap } from "./MerkleMap.js";
+import { Factory, Type } from "./Type.js";
+export type Int = SignedInt | UnsignedInt;
+export type SignedInt = i8 | i16 | i32 | i64 | i256;
+export type UnsignedInt = u8 | u16 | u32 | u64 | u256;
+declare const u8_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: false;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i8" | "u8";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class u8 extends u8_base<never, u16 | u32 | u64 | u128 | u256> {
+}
+declare const u16_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: false;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i16" | "u16";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class u16 extends u16_base<u8, u32 | u64 | u128 | u256> {
+}
+declare const u32_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: false;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i32" | "u32";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class u32 extends u32_base<u8 | u16, u64 | u128 | u256> {
+}
+declare const u64_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: false;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i64" | "u64";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class u64 extends u64_base<u8 | u16 | u32, u128 | u256> {
+}
+declare const u128_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: false;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i128" | "u128";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class u128 extends u128_base<u8 | u16 | u32 | u64, u256> {
+}
+declare const u256_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: false;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i256" | "u256";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class u256 extends u256_base<u8 | u16 | u32 | u64 | u128, never, U256Source> {
+}
+declare const i8_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: true;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i8" | "u8";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class i8 extends i8_base<never, i16 | i32 | i64 | i128 | i256> {
+}
+declare const i16_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: true;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i16" | "u16";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class i16 extends i16_base<i8, i32 | i64 | i128 | i256> {
+}
+declare const i32_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: true;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i32" | "u32";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class i32 extends i32_base<i8 | i16, i64 | i128 | i256> {
+}
+declare const i64_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: true;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i64" | "u64";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class i64 extends i64_base<i8 | i16 | i32, i128 | i256> {
+}
+declare const i128_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: true;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i128" | "u128";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class i128 extends i128_base<i8 | i16 | i32 | i64, i256> {
+}
+declare const i256_base: {
+    new <From extends Type<any, any, any, any, any>, Into extends Type<any, any, any, any, any>, ExtraSource = never>(source: import("./Type.js").TypeSource | IntSource | ExtraSource): {
+        signed: true;
+        add(value: any): any;
+        subtract(value: any): any;
+        multiply(value: any): any;
+        divide(value: any): any;
+        square(this: any): any;
+        logarithm(value: any): any;
+        gt(value: any): bool;
+        gte(value: any): bool;
+        lt(value: any): bool;
+        lte(value: any): bool;
+        ""?: [number, number | From, Into] | undefined;
+        readonly typeName: "i256" | "u256";
+        readonly source: import("./Type.js").TypeSource | IntSource | ExtraSource;
+        ctor: new (source: import("./Type.js").TypeSource | IntSource | ExtraSource) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    min<This extends Factory>(this: This): any;
+    max<This_1 extends Factory>(this: This_1): any;
+    random<This_2 extends Factory>(this: This_2): any;
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From_1 = Native, Into_1 extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class i256 extends i256_base<i8 | i16 | i32 | i64 | i256, never> {
+}
+export type IntSize = 8 | 16 | 32 | 64 | 128 | 256;
+export type IntSource = IntSource.Random | IntSource.Min | IntSource.Max | IntSource.Add | IntSource.Subtract | IntSource.Multiply | IntSource.Divide | IntSource.Square | IntSource.Logarithm | IntSource.Gt | IntSource.Gte | IntSource.Lt | IntSource.Lte;
+export declare namespace IntSource {
+    const Random_base: {
+        new (): {
+            readonly tag: "Random";
+        };
+    };
+    export class Random extends Random_base {
+    }
+    const Min_base: {
+        new (): {
+            readonly tag: "Min";
+        };
+    };
+    export class Min extends Min_base {
+    }
+    const Max_base: {
+        new (): {
+            readonly tag: "Max";
+        };
+    };
+    export class Max extends Max_base {
+    }
+    const Add_base: {
+        new (): {
+            readonly tag: "Add";
+        };
+    };
+    export class Add extends Add_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    const Subtract_base: {
+        new (): {
+            readonly tag: "Subtract";
+        };
+    };
+    export class Subtract extends Subtract_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    const Multiply_base: {
+        new (): {
+            readonly tag: "Multiply";
+        };
+    };
+    export class Multiply extends Multiply_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    const Divide_base: {
+        new (): {
+            readonly tag: "Divide";
+        };
+    };
+    export class Divide extends Divide_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    const Square_base: {
+        new (): {
+            readonly tag: "Square";
+        };
+    };
+    export class Square extends Square_base {
+        readonly self: Type;
+        constructor(self: Type);
+    }
+    const Logarithm_base: {
+        new (): {
+            readonly tag: "Logarithm";
+        };
+    };
+    export class Logarithm extends Logarithm_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    const Gt_base: {
+        new (): {
+            readonly tag: "Gt";
+        };
+    };
+    export class Gt extends Gt_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    const Gte_base: {
+        new (): {
+            readonly tag: "Gte";
+        };
+    };
+    export class Gte extends Gte_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    const Lt_base: {
+        new (): {
+            readonly tag: "Lt";
+        };
+    };
+    export class Lt extends Lt_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    const Lte_base: {
+        new (): {
+            readonly tag: "Lte";
+        };
+    };
+    export class Lte extends Lte_base {
+        readonly left: Type;
+        readonly right: Type;
+        constructor(left: Type, right: Type);
+    }
+    export {};
+}
+export type U256Source = U256Source.MerkleMapSize | U256Source.MerkleListSize;
+export declare namespace U256Source {
+    const MerkleMapSize_base: {
+        new (): {
+            readonly tag: "MerkleMapSize";
+        };
+    };
+    export class MerkleMapSize extends MerkleMapSize_base {
+        readonly self: MerkleMap;
+        constructor(self: MerkleMap);
+    }
+    const MerkleListSize_base: {
+        new (): {
+            readonly tag: "MerkleMapSize";
+        };
+    };
+    export class MerkleListSize extends MerkleListSize_base {
+        readonly self: MerkleList;
+        constructor(self: MerkleList);
+    }
+    export {};
+}
+export {};
+//# sourceMappingURL=Int.d.ts.map