@elaraai/east 1.0.67 → 1.0.69

package/dist/src/expr/block.d.ts

@@ -14,6 +14,7 @@ import { StringExpr } from "./string.js";
 import { ArrayExpr } from "./array.js";
 import { SetExpr } from "./set.js";
 import { DictExpr } from "./dict.js";
+import { RecursiveExpr } from "./recursive.js";
 import { type CallableFunctionExpr, FunctionExpr } from "./function.js";
 import type { PlatformFunction } from "../platform.js";
 import { type EastTypeValue } from "../type_of_type.js";
@@ -150,6 +151,73 @@ export declare const ge: typeof greaterEqual;
  * For immutable data types, such as integers and strings, this is equivalent to equality.
  */
 export declare function is<T>(left: Expr<T>, right: SubtypeExprOrValue<NoInfer<T>>): BooleanExpr;
+/**
+ * Calls an East builtin by name — the raw spelling for a builtin the surface
+ * has no method for, and the form the codegen printers fall back to for one
+ * (`RAW_ONLY`). The python twin is `East.builtin`.
+ *
+ * @param name - The builtin's IR name, e.g. `"ArrayGetKeys"`
+ * @param typeParameters - Its type parameters, in declaration order
+ * @param args - Its arguments in IR order — expressions, values, or callbacks
+ * @param outputType - The type of the result
+ * @returns The `Builtin` expression, typed `outputType`
+ * @throws {Error} When `name` is not a builtin, or the type-parameter or
+ *   argument counts do not match its declaration
+ *
+ * @example
+ * ```ts
+ * const size = East.function([ArrayType(IntegerType)], IntegerType, ($, xs) => {
+ *   $.return(East.builtin("ArraySize", [IntegerType], [xs], IntegerType));
+ * });
+ * const compiled = East.compile(size, []);
+ * compiled([1n, 2n, 3n]);  // 3n
+ * ```
+ */
+export declare function builtin(name: string, typeParameters: EastType[], args: unknown[], outputType: EastType): Expr;
+/**
+ * Widens a value to a declared supertype explicitly — an `As` node. The
+ * builder inserts the same node itself wherever a narrower value meets a
+ * wider declared type (a `$.const(x, T)`, a function argument), so this is
+ * the spelling for the other positions; the codegen printers spell every
+ * IR `As` with it. The python twin is `East.as_`.
+ *
+ * @param value - The value or expression to widen
+ * @param type - The wider type; the value's type must be a subtype of it
+ * @returns The value as an expression of `type`
+ * @throws {Error} When the value's type is not a subtype of `type`
+ *
+ * @example
+ * ```ts
+ * const Shape = VariantType({ circle: FloatType, square: FloatType });
+ * const widen = East.function([FloatType], Shape, ($, r) => {
+ *   $.return(East.as(East.value(variant("circle", r)), Shape));
+ * });
+ * const compiled = East.compile(widen, []);
+ * compiled(2.0);  // variant("circle", 2.0)
+ * ```
+ */
+export declare function as<T extends EastType>(value: SubtypeExprOrValue<NoInfer<T>>, type: T): ExprType<T>;
+/**
+ * Wraps a value or expression of a recursive type's node type in the
+ * recursive type — a `WrapRecursive` node; {@link RecursiveExpr.unwrap} is
+ * its inverse. The python twin is `East.wrap_recursive`.
+ *
+ * @param value - The value or expression of the wrapper's node type
+ * @param type - The recursive type to wrap it in
+ * @returns A `RecursiveExpr` of `type`
+ *
+ * @example
+ * ```ts
+ * const ListType = RecursiveType(self => VariantType({ nil: NullType, cons: StructType({ head: IntegerType, tail: self }) }));
+ * const singleton = East.function([IntegerType], ListType, ($, x) => {
+ *   const nil = $.const(East.wrapRecursive(variant("nil", null), ListType));
+ *   $.return(East.wrapRecursive(variant("cons", { head: x, tail: nil }), ListType));
+ * });
+ * const compiled = East.compile(singleton, []);
+ * compiled(1n);  // variant("cons", { head: 1n, tail: variant("nil", null) })
+ * ```
+ */
+export declare function wrapRecursive<T>(value: SubtypeExprOrValue<T>, type: RecursiveType<T>): RecursiveExpr<T>;
 /** Print a value as a string. */
 export declare function print(value: Expr): StringExpr;
 /** Compute the difference between two values of the same type.
@@ -169,6 +237,50 @@ export declare function composePatch<T extends EastType>(first: Expr<PatchTypeOf
  * Applying the inverted patch to the "after" value produces the "before" value.
  */
 export declare function invertPatch<T extends EastType>(patch: Expr<PatchTypeOf<T>>, type: T): ExprType<PatchTypeOf<T>>;
+/**
+ * The brand every declaration handle carries — a registered symbol, so a
+ * handle built by any copy of `@elaraai/east` in the process is recognised.
+ */
+export declare const PLATFORM_DECLARATION: unique symbol;
+/**
+ * What a platform declaration handle says about itself: the identity of the
+ * `Platform` node a call emits — its registered name, declared input and
+ * output types, asyncness, optionality and (generic) type parameter names —
+ * readable from the handle. A library exports its declarations under its
+ * own names (`Compression.Tar.create` is the handle for `tar_create`), so
+ * anything given the library's exports can spell a call as the library
+ * spells it: the codegen printer does (`toSource`'s `libraries`).
+ */
+export interface PlatformDeclaration {
+    /** The platform function's registered name — the `Platform` node's `name`. */
+    readonly name: string;
+    /** The declared input types (placeholder names for a generic declaration's parameters). */
+    readonly inputs: readonly (EastType | string)[];
+    /** The declared output type (or a placeholder name). */
+    readonly output: EastType | string;
+    /** Whether calls emit an async `Platform` node. */
+    readonly async: boolean;
+    /** Whether compiling succeeds with no implementation provided. */
+    readonly optional: boolean;
+    /** The type parameter names of a generic declaration; absent on a concrete one. */
+    readonly typeParameters?: readonly string[];
+}
+/**
+ * Whether `value` is a platform declaration handle — what `East.platform`,
+ * `East.asyncPlatform`, `East.genericPlatform` and `East.asyncGenericPlatform`
+ * return.
+ *
+ * @param value - Anything
+ * @returns True for a declaration handle, whose identity fields are then typed
+ *
+ * @example
+ * ```ts
+ * const log = East.platform("log", [StringType], NullType);
+ * isPlatformDeclaration(log);   // true
+ * log.name;                     // "log"
+ * ```
+ */
+export declare function isPlatformDeclaration(value: unknown): value is PlatformDeclaration;
 /** Callable helper type for synchronous platform functions. */
 export type PlatformDefinition<Inputs extends EastType[], Output extends EastType> = ((...args: {
     [K in keyof Inputs]: SubtypeExprOrValue<Inputs[K]>;
@@ -176,6 +288,14 @@ export type PlatformDefinition<Inputs extends EastType[], Output extends EastTyp
     implement: (fn: (...args: {
         [K in keyof Inputs]: ValueTypeOf<Inputs[K]>;
     }) => Output extends NullType ? null | undefined | void : ValueTypeOf<Output>) => PlatformFunction;
+    /** The registered platform function name. */
+    readonly name: string;
+    /** The declared input types. */
+    readonly inputs: Inputs;
+    /** The declared output type. */
+    readonly output: Output;
+    readonly async: false;
+    readonly optional: boolean;
 };
 /** Options for defining platform functions. */
 export interface PlatformOptions {
@@ -237,6 +357,14 @@ export type AsyncPlatformDefinition<Inputs extends EastType[], Output extends Ea
     implement: (fn: (...args: {
         [K in keyof Inputs]: ValueTypeOf<Inputs[K]>;
     }) => Output extends NullType ? Promise<null | undefined | void> : Promise<ValueTypeOf<Output>>) => PlatformFunction;
+    /** The registered platform function name. */
+    readonly name: string;
+    /** The declared input types. */
+    readonly inputs: Inputs;
+    /** The declared output type. */
+    readonly output: Output;
+    readonly async: true;
+    readonly optional: boolean;
 };
 /** Create a callable helper to invoke an asynchronous platform function.
  *
@@ -298,6 +426,16 @@ export type GenericPlatformDefinition<TParams extends readonly string[], Inputs
     implement: (factory: (...typeParams: {
         [K in keyof TParams]: EastTypeValue;
     }) => (...args: unknown[]) => unknown) => PlatformFunction;
+    /** The registered platform function name. */
+    readonly name: string;
+    /** The type parameter names. */
+    readonly typeParameters: TParams;
+    /** The declared input types, placeholders included. */
+    readonly inputs: Inputs;
+    /** The declared output type, or a placeholder. */
+    readonly output: Output;
+    readonly async: false;
+    readonly optional: boolean;
 };
 /** Create a callable helper to invoke a generic (polymorphic) platform function.
  *
@@ -367,6 +505,16 @@ export type AsyncGenericPlatformDefinition<TParams extends readonly string[], In
     implement: (factory: (...typeParams: {
         [K in keyof TParams]: EastTypeValue;
     }) => (...args: unknown[]) => Promise<unknown>) => PlatformFunction;
+    /** The registered platform function name. */
+    readonly name: string;
+    /** The type parameter names. */
+    readonly typeParameters: TParams;
+    /** The declared input types, placeholders included. */
+    readonly inputs: Inputs;
+    /** The declared output type, or a placeholder. */
+    readonly output: Output;
+    readonly async: true;
+    readonly optional: boolean;
 };
 /** Create a callable helper to invoke an asynchronous generic (polymorphic) platform function.
  *

package/dist/src/expr/block.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"block.d.ts","sourceRoot":"","sources":["../../../src/expr/block.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,KAAK,GAAG,EAAE,KAAK,SAAS,EAAE,KAAK,KAAK,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AAErG,OAAO,EAAE,KAAK,QAAQ,EAAE,YAAY,EAAa,QAAQ,EAA0B,UAAU,EAAE,SAAS,EAAE,WAAW,EAAe,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,WAAW,EAAqB,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,aAAa,EAAE,KAAK,mBAAmB,EAAgB,MAAM,aAAa,CAAC;AAGnV,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,EAAa,IAAI,EAAmB,UAAU,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAIrC,OAAO,EAAE,KAAK,oBAAoB,EAAsB,YAAY,EAAE,MAAM,eAAe,CAAC;AAE5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGzE,OAAO,EAAE,iBAAiB,EAA2B,KAAK,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAChH,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIhE;;GAEG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CA4C9D;AAGD;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,CAAC,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,WAAW,CAAC,CAAC,CAAC,CAKrK;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,CAAC,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAExL;AAED;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;AACpF,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAmNtD;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC3O,gBAAgB;AAChB,wBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AA0FxR;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACzP,gBAAgB;AAChB,wBAAgB,aAAa,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,yBAAyB,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AA0FtS;;;;;;EAME;AACF,wBAAgB,GAAG,CAAC,OAAO,EAAE,oBAAoB,EAAE,GAAG,WAAW,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,EAAE,GAAG,UAAU,CAwLhG;AAGD;;;GAGG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAyCtJ;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC,UAAU,CAAC,EAAE,MAAM,GAAE,MAA0B,GAAG,SAAS,CAQ5G;AAED,gCAAgC;AAChC,wBAAgB,SAAS,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,SAAS;KAAG,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;CAAE,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;KAAG,CAAC,IAAI,MAAM,KAAK,GAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAkC3S;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC;IAAE,QAAQ,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAoCtS;AAED,sDAAsD;AACtD,wBAAgB,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU1F;AAED,0DAA0D;AAC1D,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU7F;AAED,uDAAuD;AACvD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUzF;AAED,mEAAmE;AACnE,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU9F;AAED,0DAA0D;AAC1D,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU5F;AAED,sEAAsE;AACtE,wBAAgB,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUjG;AAMD,8BAA8B;AAC9B,eAAO,MAAM,MAAM,cAAQ,CAAC;AAC5B,8BAA8B;AAC9B,eAAO,MAAM,EAAE,cAAQ,CAAC;AAExB,iCAAiC;AACjC,eAAO,MAAM,SAAS,iBAAW,CAAC;AAClC,iCAAiC;AACjC,eAAO,MAAM,EAAE,iBAAW,CAAC;AAE3B,6BAA6B;AAC7B,eAAO,MAAM,QAAQ,aAAO,CAAC;AAC7B,6BAA6B;AAC7B,eAAO,MAAM,EAAE,aAAO,CAAC;AAEvB,kCAAkC;AAClC,eAAO,MAAM,eAAe,kBAAY,CAAC;AACzC,kCAAkC;AAClC,eAAO,MAAM,GAAG,kBAAY,CAAC;AAC7B,kCAAkC;AAClC,eAAO,MAAM,EAAE,kBAAY,CAAC;AAE5B,gCAAgC;AAChC,eAAO,MAAM,WAAW,gBAAU,CAAC;AACnC,gCAAgC;AAChC,eAAO,MAAM,EAAE,gBAAU,CAAC;AAE1B,qCAAqC;AACrC,eAAO,MAAM,kBAAkB,qBAAe,CAAC;AAC/C,qCAAqC;AACrC,eAAO,MAAM,GAAG,qBAAe,CAAC;AAChC,qCAAqC;AACrC,eAAO,MAAM,EAAE,qBAAe,CAAC;AAE/B;;;GAGG;AACH,wBAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUvF;AAED,iCAAiC;AACjC,wBAAgB,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,UAAU,CAU7C;AAMD;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAalG;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAavG;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAa7I;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAY9G;AAED,+DAA+D;AAC/D,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG;IAC7K,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE;SAAG,CAAC,IAAI,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAAE,KAAK,MAAM,SAAS,QAAQ,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,gBAAgB,CAAC;CAC5K,CAAA;AAED,+CAA+C;AAC/C,MAAM,WAAW,eAAe;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,wBAAgB,QAAQ,CAAC,KAAK,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,EAC/E,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,eAAoB,GAC5B,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,CAoEpC;AAED,gEAAgE;AAChE,MAAM,MAAM,uBAAuB,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG;IAClL,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE;SAAG,CAAC,IAAI,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAAE,KAAK,MAAM,SAAS,QAAQ,GAAG,OAAO,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,gBAAgB,CAAC;CAC9L,CAAA;AAGD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,aAAa,CAAC,KAAK,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,EACpF,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,eAAoB,GAC5B,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,CAoEzC;AAQD,KAAK,OAAO,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,OAAO,EAAE,GAAG,EAAE,IACpF,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE,CAAC,GACrE,KAAK,SAAS,CAAC,GACb,GAAG,CAAC,QAAQ,CAAC,GACb,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,GACrC,KAAK,CAAC;AAIZ,KAAK,WAAW,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAAE,KAAK,SAAS,SAAS,OAAO,EAAE,IAAI;KACnF,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC/C,CAAC;AAGF,KAAK,aAAa,CAAC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAC7D,CAAC,SAAS,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,GACtC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAChE,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GACpE,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAChE,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GACvG,CAAC,SAAS,UAAU,CAAC,MAAM,MAAM,CAAC,GAAG,UAAU,CAAC;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAE5G,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAC5E,CAAC,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GAAG,WAAW,CAAC;KAAG,CAAC,IAAI,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAC3G,CAAC,SAAS,mBAAmB,GAAG,CAAC,GACjC,CAAC,SAAS,YAAY,CAAC,MAAM,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,YAAY,CACzD;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,EACrD,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,CAC7B,GACD,CAAC,CAAC;AAiDJ,KAAK,uBAAuB,CAC1B,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EAC7C,MAAM,SAAS,QAAQ,GAAG,MAAM,IAC9B,CAAC,QAAQ,SAAS,SAAS,QAAQ,EAAE,GAAG;KAAG,CAAC,IAAI,MAAM,OAAO,GAAG,QAAQ;CAAE,EAC5E,SAAS,EAAE,QAAQ,EACnB,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,aAAa,CAC9D,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC9B,MAAM,CAAC,CAAC,CAAC,CACV,CAAC;CAAE,KACD,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,MAAM,MAAM,yBAAyB,CACnC,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EAC7C,MAAM,SAAS,QAAQ,GAAG,MAAM,IAC9B,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;IACrD,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,UAAU,EAAE;SAAG,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa;KAAE,KAAK,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,KAAK,gBAAgB,CAAC;CACvI,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,wBAAgB,eAAe,CAC7B,KAAK,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,EACvC,KAAK,CAAC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EACnD,MAAM,SAAS,QAAQ,GAAG,MAAM,EAEhC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,OAAO,EACnB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,eAAoB,GAC5B,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CA2HpD;AAGD,KAAK,4BAA4B,CAC/B,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EAC7C,MAAM,SAAS,QAAQ,GAAG,MAAM,IAC9B,CAAC,QAAQ,SAAS,SAAS,QAAQ,EAAE,GAAG;KAAG,CAAC,IAAI,MAAM,OAAO,GAAG,QAAQ;CAAE,EAC5E,SAAS,EAAE,QAAQ,EACnB,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,aAAa,CAC9D,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC9B,MAAM,CAAC,CAAC,CAAC,CACV,CAAC;CAAE,KACD,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,MAAM,MAAM,8BAA8B,CACxC,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EAC7C,MAAM,SAAS,QAAQ,GAAG,MAAM,IAC9B,4BAA4B,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;IAC1D,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,UAAU,EAAE;SAAG,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa;KAAE,KAAK,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,gBAAgB,CAAC;CAChJ,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,EACvC,KAAK,CAAC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EACnD,MAAM,SAAS,QAAQ,GAAG,MAAM,EAEhC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,OAAO,EACnB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,eAAoB,GAC5B,8BAA8B,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CA2HzD;AAGD;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC,GAAG;IACvD,gBAAgB;IAChB,UAAU,EAAE,GAAG,EAAE,CAAC;IAElB,gBAAgB;IAChB,IAAI,IAAI,QAAQ,CAAC;IAEjB;;;MAGE;IACF,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnH;;OAEG;IACH,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,6DAA6D;IAC7D,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7G,2DAA2D;IAC3D,MAAM,EAAE,CAAC,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;IACjD,gDAAgD;IAChD,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;IAC9B,yEAAyE;IACzE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;IACjC,2CAA2C;IAC3C,EAAE,EAAE,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9G,uIAAuI;IACvI,KAAK,EAAE,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE;SAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;KAAE,KAAK,IAAI,CAAC;IACzL,sIAAsI;IACtI,QAAQ,EAAE,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,SAAS,MAAM,KAAK,GAAG,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC;IAC7M,qCAAqC;IACrC,KAAK,EAAE,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC;IAC/G,sEAAsE;IACtE,GAAG,EACC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,GAC5H,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,GACtG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,CAAA;IACrI,6DAA6D;IAC7D,KAAK,EAAE,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,KAAK,SAAS,CAAC;IACpE,qDAAqD;IACrD,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,YAAY,CAAC,GAAG,CAAC,CAAC;CAChF,CAAA;AAED,eAAO,MAAM,YAAY,GAAI,GAAG,EAAE,aAAa,GAAG,KAAG,YAAY,CAAC,GAAG,CAwnBpE,CAAA;AAGD,6DAA6D;AAC7D,cAAM,UAAU,CAAC,GAAG,CAAE,SAAQ,QAAQ;IAER,OAAO,CAAC,WAAW;IAD/C,gBAAgB;gBACJ,GAAG,EAAE,SAAS,EAAU,WAAW,EAAE,GAAG;IAMpD,8DAA8D;IAC9D,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,QAAQ;IA4C3D,mEAAmE;IACnE,MAAM,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;CAiC5F;AAED,wDAAwD;AACxD,cAAM,YAAY,CAAC,GAAG,CAAE,SAAQ,QAAQ;IAIR,OAAO,CAAC,gBAAgB;IAAe,OAAO,CAAC,cAAc;IAAe,OAAO,CAAC,WAAW;IAH7H,OAAO,CAAC,WAAW,CAAS;IAE5B,gBAAgB;gBACJ,GAAG,EAAE,WAAW,EAAU,gBAAgB,EAAE,WAAW,EAAU,cAAc,EAAE,WAAW,EAAU,WAAW,EAAE,GAAG;IAMlI,yGAAyG;IACzG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC;QAAE,QAAQ,EAAE,UAAU,CAAC;QAAC,IAAI,EAAE,WAAW,CAAC;QAAC,MAAM,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;IAkC7K,0KAA0K;IAC1K,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;CAsB3D"}
+{"version":3,"file":"block.d.ts","sourceRoot":"","sources":["../../../src/expr/block.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,KAAK,GAAG,EAAE,KAAK,SAAS,EAAE,KAAK,KAAK,EAAE,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AAGrG,OAAO,EAAE,KAAK,QAAQ,EAAE,YAAY,EAAa,QAAQ,EAA0B,UAAU,EAAE,SAAS,EAAE,WAAW,EAAe,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,WAAW,EAAqB,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,aAAa,EAAE,KAAK,mBAAmB,EAAgB,MAAM,aAAa,CAAC;AAGnV,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,EAAa,IAAI,EAAmB,UAAU,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,KAAK,oBAAoB,EAAsB,YAAY,EAAE,MAAM,eAAe,CAAC;AAE5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGzE,OAAO,EAAE,iBAAiB,EAA2B,KAAK,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAChH,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAKhE;;GAEG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CA4C9D;AAGD;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,CAAC,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,WAAW,CAAC,CAAC,CAAC,CAKrK;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,CAAC,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAExL;AAED;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;AACpF,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAqNtD;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC3O,gBAAgB;AAChB,wBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AA2FxR;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,QAAQ,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACzP,gBAAgB;AAChB,wBAAgB,aAAa,CAAC,KAAK,CAAC,CAAC,SAAS,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,EAAE;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,yBAAyB,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AA2FtS;;;;;;EAME;AACF,wBAAgB,GAAG,CAAC,OAAO,EAAE,oBAAoB,EAAE,GAAG,WAAW,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,EAAE,GAAG,UAAU,CAwLhG;AAGD;;;GAGG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAyCtJ;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC,UAAU,CAAC,EAAE,MAAM,GAAE,MAA0B,GAAG,SAAS,CAQ5G;AAED,gCAAgC;AAChC,wBAAgB,SAAS,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,SAAS;KAAG,CAAC,IAAI,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG;CAAE,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;KAAG,CAAC,IAAI,MAAM,KAAK,GAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAmC3S;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC;IAAE,QAAQ,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAsCtS;AAED,sDAAsD;AACtD,wBAAgB,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU1F;AAED,0DAA0D;AAC1D,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU7F;AAED,uDAAuD;AACvD,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUzF;AAED,mEAAmE;AACnE,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU9F;AAED,0DAA0D;AAC1D,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAU5F;AAED,sEAAsE;AACtE,wBAAgB,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUjG;AAMD,8BAA8B;AAC9B,eAAO,MAAM,MAAM,cAAQ,CAAC;AAC5B,8BAA8B;AAC9B,eAAO,MAAM,EAAE,cAAQ,CAAC;AAExB,iCAAiC;AACjC,eAAO,MAAM,SAAS,iBAAW,CAAC;AAClC,iCAAiC;AACjC,eAAO,MAAM,EAAE,iBAAW,CAAC;AAE3B,6BAA6B;AAC7B,eAAO,MAAM,QAAQ,aAAO,CAAC;AAC7B,6BAA6B;AAC7B,eAAO,MAAM,EAAE,aAAO,CAAC;AAEvB,kCAAkC;AAClC,eAAO,MAAM,eAAe,kBAAY,CAAC;AACzC,kCAAkC;AAClC,eAAO,MAAM,GAAG,kBAAY,CAAC;AAC7B,kCAAkC;AAClC,eAAO,MAAM,EAAE,kBAAY,CAAC;AAE5B,gCAAgC;AAChC,eAAO,MAAM,WAAW,gBAAU,CAAC;AACnC,gCAAgC;AAChC,eAAO,MAAM,EAAE,gBAAU,CAAC;AAE1B,qCAAqC;AACrC,eAAO,MAAM,kBAAkB,qBAAe,CAAC;AAC/C,qCAAqC;AACrC,eAAO,MAAM,GAAG,qBAAe,CAAC;AAChC,qCAAqC;AACrC,eAAO,MAAM,EAAE,qBAAe,CAAC;AAE/B;;;GAGG;AACH,wBAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAUvF;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,QAAQ,GAAG,IAAI,CAwB7G;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,EAAE,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAQlG;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAEvG;AAED,iCAAiC;AACjC,wBAAgB,KAAK,CAAC,KAAK,EAAE,IAAI,GAAG,UAAU,CAU7C;AAMD;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAalG;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAavG;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAa7I;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAY9G;AAED;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,OAAO,MAA8D,CAAC;AAEzG;;;;;;;;GAQG;AACH,MAAM,WAAW,mBAAmB;IAClC,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2FAA2F;IAC3F,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC;IAChD,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,CAAC;IACnC,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,mFAAmF;IACnF,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,mBAAmB,CAElF;AAgBD,+DAA+D;AAC/D,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG;IAC7K,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE;SAAG,CAAC,IAAI,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAAE,KAAK,MAAM,SAAS,QAAQ,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,gBAAgB,CAAC;IAC3K,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAA;AAED,+CAA+C;AAC/C,MAAM,WAAW,eAAe;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,wBAAgB,QAAQ,CAAC,KAAK,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,EAC/E,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,eAAoB,GAC5B,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,CAqEpC;AAED,gEAAgE;AAChE,MAAM,MAAM,uBAAuB,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG;IAClL,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE;SAAG,CAAC,IAAI,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAAE,KAAK,MAAM,SAAS,QAAQ,GAAG,OAAO,CAAC,IAAI,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,gBAAgB,CAAC;IAC7L,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAA;AAGD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,aAAa,CAAC,KAAK,CAAC,MAAM,SAAS,QAAQ,EAAE,EAAE,MAAM,SAAS,QAAQ,EACpF,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,eAAoB,GAC5B,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,CAqEzC;AAQD,KAAK,OAAO,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,SAAS,OAAO,EAAE,GAAG,EAAE,IACpF,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE,CAAC,GACrE,KAAK,SAAS,CAAC,GACb,GAAG,CAAC,QAAQ,CAAC,GACb,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,OAAO,CAAC,CAAC,GACrC,KAAK,CAAC;AAIZ,KAAK,WAAW,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAAE,KAAK,SAAS,SAAS,OAAO,EAAE,IAAI;KACnF,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;CAC/C,CAAC;AAGF,KAAK,aAAa,CAAC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,IAC7D,CAAC,SAAS,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,GACtC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAChE,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GACpE,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAChE,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GACvG,CAAC,SAAS,UAAU,CAAC,MAAM,MAAM,CAAC,GAAG,UAAU,CAAC;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAE5G,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAC5E,CAAC,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GAAG,WAAW,CAAC;KAAG,CAAC,IAAI,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAC3G,CAAC,SAAS,mBAAmB,GAAG,CAAC,GACjC,CAAC,SAAS,YAAY,CAAC,MAAM,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,YAAY,CACzD;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,EACrD,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,CAC7B,GACD,CAAC,CAAC;AAiDJ,KAAK,uBAAuB,CAC1B,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EAC7C,MAAM,SAAS,QAAQ,GAAG,MAAM,IAC9B,CAAC,QAAQ,SAAS,SAAS,QAAQ,EAAE,GAAG;KAAG,CAAC,IAAI,MAAM,OAAO,GAAG,QAAQ;CAAE,EAC5E,SAAS,EAAE,QAAQ,EACnB,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,aAAa,CAC9D,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC9B,MAAM,CAAC,CAAC,CAAC,CACV,CAAC;CAAE,KACD,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,MAAM,MAAM,yBAAyB,CACnC,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EAC7C,MAAM,SAAS,QAAQ,GAAG,MAAM,IAC9B,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;IACrD,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,UAAU,EAAE;SAAG,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa;KAAE,KAAK,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,KAAK,gBAAgB,CAAC;IACtI,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,wBAAgB,eAAe,CAC7B,KAAK,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,EACvC,KAAK,CAAC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EACnD,MAAM,SAAS,QAAQ,GAAG,MAAM,EAEhC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,OAAO,EACnB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,eAAoB,GAC5B,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CA4HpD;AAGD,KAAK,4BAA4B,CAC/B,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EAC7C,MAAM,SAAS,QAAQ,GAAG,MAAM,IAC9B,CAAC,QAAQ,SAAS,SAAS,QAAQ,EAAE,GAAG;KAAG,CAAC,IAAI,MAAM,OAAO,GAAG,QAAQ;CAAE,EAC5E,SAAS,EAAE,QAAQ,EACnB,GAAG,IAAI,EAAE;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,kBAAkB,CAAC,aAAa,CAC9D,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC9B,MAAM,CAAC,CAAC,CAAC,CACV,CAAC;CAAE,KACD,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,MAAM,MAAM,8BAA8B,CACxC,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EAC7C,MAAM,SAAS,QAAQ,GAAG,MAAM,IAC9B,4BAA4B,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG;IAC1D,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,UAAU,EAAE;SAAG,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa;KAAE,KAAK,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,gBAAgB,CAAC;IAC/I,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,EACvC,KAAK,CAAC,MAAM,SAAS,SAAS,CAAC,QAAQ,GAAG,MAAM,CAAC,EAAE,EACnD,MAAM,SAAS,QAAQ,GAAG,MAAM,EAEhC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,OAAO,EACnB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,eAAoB,GAC5B,8BAA8B,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CA4HzD;AAGD;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC,GAAG;IACvD,gBAAgB;IAChB,UAAU,EAAE,GAAG,EAAE,CAAC;IAElB,gBAAgB;IAChB,IAAI,IAAI,QAAQ,CAAC;IAEjB;;;MAGE;IACF,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnH;;OAEG;IACH,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,6DAA6D;IAC7D,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7G,2DAA2D;IAC3D,MAAM,EAAE,CAAC,KAAK,EAAE,kBAAkB,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;IACjD,gDAAgD;IAChD,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;IAC9B,yEAAyE;IACzE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;IACjC,2CAA2C;IAC3C,EAAE,EAAE,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9G,uIAAuI;IACvI,KAAK,EAAE,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE;SAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;KAAE,KAAK,IAAI,CAAC;IACzL,sIAAsI;IACtI,QAAQ,EAAE,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,SAAS,MAAM,KAAK,GAAG,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC;IAC7M,qCAAqC;IACrC,KAAK,EAAE,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC;IAC/G,sEAAsE;IACtE,GAAG,EACC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,GAC5H,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,GACtG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,CAAA;IACrI,6DAA6D;IAC7D,KAAK,EAAE,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,KAAK,SAAS,CAAC;IACpE,qDAAqD;IACrD,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,YAAY,CAAC,GAAG,CAAC,CAAC;CAChF,CAAA;AAED,eAAO,MAAM,YAAY,GAAI,GAAG,EAAE,aAAa,GAAG,KAAG,YAAY,CAAC,GAAG,CAgoBpE,CAAA;AAGD,6DAA6D;AAC7D,cAAM,UAAU,CAAC,GAAG,CAAE,SAAQ,QAAQ;IAER,OAAO,CAAC,WAAW;IAD/C,gBAAgB;gBACJ,GAAG,EAAE,SAAS,EAAU,WAAW,EAAE,GAAG;IAMpD,8DAA8D;IAC9D,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,QAAQ;IA4C3D,mEAAmE;IACnE,MAAM,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;CAiC5F;AAED,wDAAwD;AACxD,cAAM,YAAY,CAAC,GAAG,CAAE,SAAQ,QAAQ;IAIR,OAAO,CAAC,gBAAgB;IAAe,OAAO,CAAC,cAAc;IAAe,OAAO,CAAC,WAAW;IAH7H,OAAO,CAAC,WAAW,CAAS;IAE5B,gBAAgB;gBACJ,GAAG,EAAE,WAAW,EAAU,gBAAgB,EAAE,WAAW,EAAU,cAAc,EAAE,WAAW,EAAU,WAAW,EAAE,GAAG;IAMlI,yGAAyG;IACzG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC;QAAE,QAAQ,EAAE,UAAU,CAAC;QAAC,IAAI,EAAE,WAAW,CAAC;QAAC,MAAM,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;IAsC7K,0KAA0K;IAC1K,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,GAAG,IAAI;CAsB3D"}

package/dist/src/expr/block.js

@@ -4,6 +4,7 @@
  */
 import {} from "../ast.js";
 import { ensure_source_map, get_current_source_map, get_location, get_location_id, printLocations } from "../location.js";
+import { bindingNameAt, parameterNames } from "../naming.js";
 import { FunctionType, isSubtype, NullType, printType, isTypeEqual, StringType, NeverType, VariantType, BooleanType, TypeUnion, IntegerType, StructType, ArrayType, AsyncFunctionType, assignTypeId } from "../types.js";
 import { typeMismatchError } from "../type_diff.js";
 import { AstSymbol, Expr, SourceMapSymbol, TypeSymbol } from "./expr.js";
@@ -28,6 +29,7 @@ import { isVariant } from "../containers/variant.js";
 import { RefExpr } from "./ref.js";
 import { AsyncFunctionExpr, createAsyncFunctionExpr } from "./asyncfunction.js";
 import { PatchType } from "../patch/index.js";
+import { applyTypeParameters, Builtins } from "../builtins.js";
 import { VectorExpr } from "./vector.js";
 import { MatrixExpr } from "./matrix.js";
 /** A factory function to help build `Expr` from AST.
@@ -141,11 +143,12 @@ export function from(value, type) {
         // pointer to user code (issue #204).
         return ensure_source_map(() => {
             const { inputs, output } = type;
-            const input_variables = inputs.map(i => ({
+            const input_variables = inputs.map((i, k) => ({
                 ast_type: "Variable",
                 type: i,
                 loc_id: get_location_id(),
                 mutable: false,
+                name: parameterNames(value)?.[k + 1],
             }));
             const $ = BlockBuilder(output);
             const input_exprs = input_variables.map(fromAst);
@@ -229,11 +232,12 @@ export function from(value, type) {
         }
         return ensure_source_map(() => {
             const { inputs, output } = type;
-            const input_variables = inputs.map(i => ({
+            const input_variables = inputs.map((i, k) => ({
                 ast_type: "Variable",
                 type: i,
                 loc_id: get_location_id(),
                 mutable: false,
+                name: parameterNames(value)?.[k + 1],
             }));
             const $ = BlockBuilder(output);
             const input_exprs = input_variables.map(fromAst);
@@ -327,11 +331,12 @@ export function from(value, type) {
 }
 export function func(input_types, output_type, body) {
     return ensure_source_map(() => {
-        const parameters = input_types.map(i => ({
+        const parameters = input_types.map((i, k) => ({
             ast_type: "Variable",
             type: i,
             loc_id: get_location_id(),
             mutable: false,
+            name: parameterNames(body)?.[k + 1],
         }));
         const $ = BlockBuilder(output_type ?? NeverType);
         let ret = body($, ...parameters.map(fromAst));
@@ -413,11 +418,12 @@ export function func(input_types, output_type, body) {
 }
 export function asyncFunction(input_types, output_type, body) {
     return ensure_source_map(() => {
-        const parameters = input_types.map(i => ({
+        const parameters = input_types.map((i, k) => ({
             ast_type: "Variable",
             type: i,
             loc_id: get_location_id(),
             mutable: false,
+            name: parameterNames(body)?.[k + 1],
         }));
         const $ = BlockBuilder(output_type ?? NeverType);
         let ret = body($, ...parameters.map(fromAst));
@@ -759,6 +765,7 @@ export function matchExpr(variant, handlers) {
             type: t,
             loc_id: get_location_id(),
             mutable: false,
+            name: parameterNames(handler)?.[1],
         };
         const ast = handler === undefined ? valueOrExprToAstTyped(null, NullType) : block($ => handler($, fromAst(data_variable)))[AstSymbol];
         out_type = TypeUnion(out_type, ast.type);
@@ -784,12 +791,14 @@ export function tryCatch(try_body, catch_body) {
         type: StringType,
         loc_id: get_location_id(),
         mutable: false,
+        name: parameterNames(catch_body)?.[1],
     };
     const stack_variable = {
         ast_type: "Variable",
         type: ArrayType(StructType({ filename: StringType, line: IntegerType, column: IntegerType })),
         loc_id: get_location_id(),
         mutable: false,
+        name: parameterNames(catch_body)?.[2],
     };
     if (typeof catch_body !== "function") {
         throw new Error(`tryCatch expected catch_body to be a function, got ${typeof catch_body}`);
@@ -926,6 +935,107 @@ export function is(left, right) {
         arguments: [Expr.ast(left), rightAst],
     });
 }
+/**
+ * Calls an East builtin by name — the raw spelling for a builtin the surface
+ * has no method for, and the form the codegen printers fall back to for one
+ * (`RAW_ONLY`). The python twin is `East.builtin`.
+ *
+ * @param name - The builtin's IR name, e.g. `"ArrayGetKeys"`
+ * @param typeParameters - Its type parameters, in declaration order
+ * @param args - Its arguments in IR order — expressions, values, or callbacks
+ * @param outputType - The type of the result
+ * @returns The `Builtin` expression, typed `outputType`
+ * @throws {Error} When `name` is not a builtin, or the type-parameter or
+ *   argument counts do not match its declaration
+ *
+ * @example
+ * ```ts
+ * const size = East.function([ArrayType(IntegerType)], IntegerType, ($, xs) => {
+ *   $.return(East.builtin("ArraySize", [IntegerType], [xs], IntegerType));
+ * });
+ * const compiled = East.compile(size, []);
+ * compiled([1n, 2n, 3n]);  // 3n
+ * ```
+ */
+export function builtin(name, typeParameters, args, outputType) {
+    const def = Builtins[name];
+    if (def === undefined) {
+        throw new Error(`Unknown builtin function '${name}'`);
+    }
+    if (def.type_parameters.length !== typeParameters.length) {
+        throw new Error(`Builtin function '${name}' expected ${def.type_parameters.length} type parameters, got ${typeParameters.length}`);
+    }
+    if (def.inputs.length !== args.length) {
+        throw new Error(`Builtin function '${name}' expected ${def.inputs.length} arguments, got ${args.length}`);
+    }
+    const typeMap = new Map(def.type_parameters.map((param, i) => [param, typeParameters[i]]));
+    const argAsts = args.map((arg, i) => {
+        const expected = applyTypeParameters(def.inputs[i], typeMap, [], []);
+        return valueOrExprToAstTyped(arg, expected);
+    });
+    return fromAst({
+        ast_type: "Builtin",
+        type: outputType,
+        loc_id: get_location_id(),
+        builtin: name,
+        type_parameters: typeParameters,
+        arguments: argAsts,
+    });
+}
+/**
+ * Widens a value to a declared supertype explicitly — an `As` node. The
+ * builder inserts the same node itself wherever a narrower value meets a
+ * wider declared type (a `$.const(x, T)`, a function argument), so this is
+ * the spelling for the other positions; the codegen printers spell every
+ * IR `As` with it. The python twin is `East.as_`.
+ *
+ * @param value - The value or expression to widen
+ * @param type - The wider type; the value's type must be a subtype of it
+ * @returns The value as an expression of `type`
+ * @throws {Error} When the value's type is not a subtype of `type`
+ *
+ * @example
+ * ```ts
+ * const Shape = VariantType({ circle: FloatType, square: FloatType });
+ * const widen = East.function([FloatType], Shape, ($, r) => {
+ *   $.return(East.as(East.value(variant("circle", r)), Shape));
+ * });
+ * const compiled = East.compile(widen, []);
+ * compiled(2.0);  // variant("circle", 2.0)
+ * ```
+ */
+export function as(value, type) {
+    const ast = valueOrExprToAstTyped(value, type);
+    return fromAst({
+        ast_type: "As",
+        type,
+        loc_id: get_location_id(),
+        value: ast,
+    });
+}
+/**
+ * Wraps a value or expression of a recursive type's node type in the
+ * recursive type — a `WrapRecursive` node; {@link RecursiveExpr.unwrap} is
+ * its inverse. The python twin is `East.wrap_recursive`.
+ *
+ * @param value - The value or expression of the wrapper's node type
+ * @param type - The recursive type to wrap it in
+ * @returns A `RecursiveExpr` of `type`
+ *
+ * @example
+ * ```ts
+ * const ListType = RecursiveType(self => VariantType({ nil: NullType, cons: StructType({ head: IntegerType, tail: self }) }));
+ * const singleton = East.function([IntegerType], ListType, ($, x) => {
+ *   const nil = $.const(East.wrapRecursive(variant("nil", null), ListType));
+ *   $.return(East.wrapRecursive(variant("cons", { head: x, tail: nil }), ListType));
+ * });
+ * const compiled = East.compile(singleton, []);
+ * compiled(1n);  // variant("cons", { head: 1n, tail: variant("nil", null) })
+ * ```
+ */
+export function wrapRecursive(value, type) {
+    return RecursiveExpr.wrap(value, type, fromAst);
+}
 /** Print a value as a string. */
 export function print(value) {
     const valueAst = Expr.ast(value);
@@ -1009,6 +1119,42 @@ export function invertPatch(patch, type) {
         arguments: [patchAst],
     });
 }
+/**
+ * The brand every declaration handle carries — a registered symbol, so a
+ * handle built by any copy of `@elaraai/east` in the process is recognised.
+ */
+export const PLATFORM_DECLARATION = Symbol.for("elaraai.east.platformDeclaration");
+/**
+ * Whether `value` is a platform declaration handle — what `East.platform`,
+ * `East.asyncPlatform`, `East.genericPlatform` and `East.asyncGenericPlatform`
+ * return.
+ *
+ * @param value - Anything
+ * @returns True for a declaration handle, whose identity fields are then typed
+ *
+ * @example
+ * ```ts
+ * const log = East.platform("log", [StringType], NullType);
+ * isPlatformDeclaration(log);   // true
+ * log.name;                     // "log"
+ * ```
+ */
+export function isPlatformDeclaration(value) {
+    return typeof value === "function" && value[PLATFORM_DECLARATION] === true;
+}
+/** Stamps a handle with its identity: the brand, and the declaration fields as own properties. */
+function brandDeclaration(fn, declaration) {
+    Object.defineProperty(fn, PLATFORM_DECLARATION, { value: true });
+    // a function's `name` is configurable: the handle's is the platform function's, not `fn`
+    Object.defineProperty(fn, "name", { value: declaration.name, configurable: true });
+    Object.defineProperty(fn, "inputs", { value: declaration.inputs, enumerable: true });
+    Object.defineProperty(fn, "output", { value: declaration.output, enumerable: true });
+    Object.defineProperty(fn, "async", { value: declaration.async, enumerable: true });
+    Object.defineProperty(fn, "optional", { value: declaration.optional, enumerable: true });
+    if (declaration.typeParameters !== undefined) {
+        Object.defineProperty(fn, "typeParameters", { value: declaration.typeParameters, enumerable: true });
+    }
+}
 /** Create a callable helper to invoke a synchronous platform function.
  *
  * Platform functions provide access to external capabilities (logging, I/O, database access, etc.)
@@ -1110,6 +1256,7 @@ export function platform(name, input_types, output_type, options = {}) {
             };
         }
     };
+    brandDeclaration(fn, { name, inputs: input_types, output: output_type, async: false, optional: isOptional });
     return fn;
 }
 /** Create a callable helper to invoke an asynchronous platform function.
@@ -1203,6 +1350,7 @@ export function asyncPlatform(name, input_types, output_type, options = {}) {
             };
         }
     };
+    brandDeclaration(fn, { name, inputs: input_types, output: output_type, async: true, optional: isOptional });
     return fn;
 }
 // Runtime type substitution function
@@ -1410,6 +1558,7 @@ export function genericPlatform(name, typeParams, inputs, output, options = {})
             fn: factory,
         };
     };
+    brandDeclaration(fn, { name, inputs, output, async: false, optional: isOptional, typeParameters: typeParams });
     return fn;
 }
 /** Create a callable helper to invoke an asynchronous generic (polymorphic) platform function.
@@ -1548,6 +1697,7 @@ export function asyncGenericPlatform(name, typeParams, inputs, output, options =
             fn: factory,
         };
     };
+    brandDeclaration(fn, { name, inputs, output, async: true, optional: isOptional, typeParameters: typeParams });
     return fn;
 }
 export const BlockBuilder = (return_type) => {
@@ -1584,6 +1734,7 @@ export const BlockBuilder = (return_type) => {
             type: type ?? ast.type,
             loc_id: get_location_id(),
             mutable: false,
+            name: bindingNameAt(get_location()) ?? undefined,
         };
         statements.push({
             ast_type: "Let",
@@ -1613,6 +1764,7 @@ export const BlockBuilder = (return_type) => {
             type: type ?? ast.type,
             loc_id: get_location_id(),
             mutable: true,
+            name: bindingNameAt(get_location()) ?? undefined,
         };
         statements.push({
             ast_type: "Let",
@@ -1764,6 +1916,7 @@ export const BlockBuilder = (return_type) => {
                 type: t,
                 loc_id: get_location_id(),
                 mutable: false,
+                name: parameterNames(f)?.[1],
             };
             if (f === undefined) {
                 cases_out[k] = { variable: data_variable, body: { ast_type: "Value", type: NullType, loc_id: get_location_id(), value: null } };
@@ -1874,6 +2027,7 @@ export const BlockBuilder = (return_type) => {
                 type: Expr.type(collection).value,
                 loc_id: get_location_id(),
                 mutable: false,
+                name: parameterNames(body)?.[1],
             };
             const value = fromAst(value_variable);
             const key_variable = {
@@ -1881,6 +2035,7 @@ export const BlockBuilder = (return_type) => {
                 type: IntegerType,
                 loc_id: get_location_id(),
                 mutable: false,
+                name: parameterNames(body)?.[2],
             };
             const key = fromAst(key_variable);
             const label = { loc_id: get_location_id() };
@@ -1930,6 +2085,7 @@ export const BlockBuilder = (return_type) => {
                 type: Expr.type(collection).key,
                 loc_id: get_location_id(),
                 mutable: false,
+                name: parameterNames(body)?.[1],
             };
             const key = fromAst(key_variable);
             const label = { loc_id: get_location_id() };
@@ -1978,6 +2134,7 @@ export const BlockBuilder = (return_type) => {
                 type: Expr.type(collection).value,
                 loc_id: get_location_id(),
                 mutable: false,
+                name: parameterNames(body)?.[1],
             };
             const value = fromAst(value_variable);
             const key_variable = {
@@ -1985,6 +2142,7 @@ export const BlockBuilder = (return_type) => {
                 type: Expr.type(collection).key,
                 loc_id: get_location_id(),
                 mutable: false,
+                name: parameterNames(body)?.[2],
             };
             const key = fromAst(key_variable);
             const label = { loc_id: get_location_id() };
@@ -2207,6 +2365,12 @@ class TryCatchExpr extends NullExpr {
         }
         this.catchCalled = true;
         const $ = BlockBuilder(this.return_type);
+        // the handler names the catch variables (#639): `($, message, stack) => …`
+        const names = parameterNames(body);
+        if (names?.[1] !== undefined)
+            this.message_variable.name = names[1];
+        if (names?.[2] !== undefined)
+            this.stack_variable.name = names[2];
         const ret = body($, fromAst(this.message_variable), fromAst(this.stack_variable));
         const stmts = $.statements;
         if (ret !== undefined) {