@agoric/ertp 0.16.3-dev-727e4af.0 → 0.16.3-dev-96c9ff5.0

package/src/types.d.ts

@@ -1,17 +1,33 @@
+export type NatAmount = {
+    brand: Brand<"nat">;
+    value: bigint;
+};
+export type SetAmount<K extends Key> = {
+    brand: Brand<"set">;
+    value: K[];
+};
+export type CopySetAmount<K extends Key> = {
+    brand: Brand<"copySet">;
+    value: CopySet<K>;
+};
+export type CopyBagAmount<K extends Key> = {
+    brand: Brand<"copyBag">;
+    value: CopyBag<K>;
+};
+export type AnyAmount = {
+    brand: Brand<any>;
+    value: any;
+};
 /**
- * Amounts are descriptions of digital assets,
- *   answering the questions "how much" and "of what kind". Amounts are values
- *   labeled with a brand. AmountMath executes the logic of how amounts are
- *   changed when digital assets are merged, separated, or otherwise
- *   manipulated. For example, a deposit of 2 bucks into a purse that already
- *   has 3 bucks gives a new purse balance of 5 bucks. An empty purse has 0
- *   bucks. AmountMath relies heavily on polymorphic MathHelpers, which
- *   manipulate the unbranded portion.
+ * Amounts are descriptions of digital assets, answering the questions "how
+ * much" and "of what kind". Amounts are values labeled with a brand.
+ * AmountMath executes the logic of how amounts are changed when digital
+ * assets are merged, separated, or otherwise manipulated. For example, a
+ * deposit of 2 bucks into a purse that already has 3 bucks gives a new purse
+ * balance of 5 bucks. An empty purse has 0 bucks. AmountMath relies heavily
+ * on polymorphic MathHelpers, which manipulate the unbranded portion.
  */
-export type Amount<K extends AssetKind = AssetKind> = {
-    brand: Brand<K>;
-    value: AssetValueForKind<K>;
-};
+export type Amount<K extends AssetKind = AssetKind, M extends Key = Key> = K extends "nat" ? NatAmount : K extends "set" ? SetAmount<M> : K extends "copySet" ? CopySetAmount<M> : K extends "copyBag" ? CopyBagAmount<M> : AnyAmount;
 /**
  * An `AmountValue` describes a set or quantity of assets that can be owned or
  * shared.
@@ -33,14 +49,14 @@ export type Amount<K extends AssetKind = AssetKind> = {
  * once or more times, i.e., some positive bigint number of times,
  * representing that quantity of the asset represented by that key.
  */
-export type AmountValue = bigint | SetValue | CopySet | import("@endo/patterns").CopyBag<any>;
+export type AmountValue = bigint | CopySet | SetValue<Key> | CopyBag<Key>;
 /**
  * See doc-comment
  *   for `AmountValue`.
  */
 export type AssetKind = "nat" | "set" | "copySet" | "copyBag";
-export type AssetValueForKind<K extends AssetKind> = K extends "nat" ? bigint : K extends "set" ? SetValue : K extends "copySet" ? CopySet : K extends "copyBag" ? import("@endo/patterns").CopyBag<any> : never;
-export type AssetKindForValue<V extends AmountValue> = V extends bigint ? "nat" : V extends SetValue ? "set" : V extends CopySet ? "copySet" : V extends import("@endo/patterns").CopyBag<any> ? "copyBag" : never;
+export type AssetValueForKind<K extends AssetKind, M extends Key = Key> = K extends "nat" ? bigint : K extends "set" ? SetValue<M> : K extends "copySet" ? CopySet<M> : K extends "copyBag" ? CopyBag<M> : never;
+export type AssetKindForValue<V extends AmountValue> = V extends bigint ? "nat" : V extends SetValue<Key> ? "set" : V extends CopySet ? "copySet" : V extends CopyBag<Key> ? "copyBag" : never;
 export type DisplayInfo<K extends AssetKind = AssetKind> = {
     /**
      * Tells the display software how many
@@ -60,22 +76,11 @@ export type DisplayInfo<K extends AssetKind = AssetKind> = {
      */
     assetKind: K;
 };
-/**
- * The brand identifies the kind of issuer, and has a
- *   function to get the alleged name for the kind of asset described. The
- *   alleged name (such as 'BTC' or 'moola') is provided by the maker of the
- *   issuer and should not be trusted as accurate.
- *
- *   Every amount created by a particular AmountMath will share the same brand,
- *   but recipients cannot rely on the brand to verify that a purported amount
- *   represents the issuer they intended, since the same brand can be reused by
- *   a misbehaving issuer.
- */
-export type Brand<K extends AssetKind = AssetKind> = {
+export type BrandMethods<K extends AssetKind> = {
     /**
      *   Should be used with `issuer.getBrand` to ensure an issuer and brand match.
      */
-    isMyIssuer: (allegedIssuer: ERef<Issuer<AssetKind>>) => Promise<boolean>;
+    isMyIssuer: (allegedIssuer: ERef<Issuer<K>>) => Promise<boolean>;
     getAllegedName: () => string;
     /**
      * Give information to UI on how
@@ -84,12 +89,24 @@ export type Brand<K extends AssetKind = AssetKind> = {
     getDisplayInfo: () => DisplayInfo<K>;
     getAmountShape: () => Pattern;
 };
+/**
+ * The brand identifies the
+ *   kind of issuer, and has a function to get the alleged name for the kind of
+ *   asset described. The alleged name (such as 'BTC' or 'moola') is provided by
+ *   the maker of the issuer and should not be trusted as accurate.
+ *
+ *   Every amount created by a particular issuer will share the same brand, but
+ *   recipients cannot rely on the brand to verify that a purported amount
+ *   represents the issuer they intended, since the same brand can be reused by
+ *   a misbehaving issuer.
+ */
+export type Brand<K extends AssetKind = AssetKind> = RemotableObject & BrandMethods<K>;
 /**
  * Return true if the payment continues to exist.
  *
  *   If the payment is a promise, the operation will proceed upon fulfillment.
  */
-export type IssuerIsLive = (payment: ERef<Payment<AssetKind>>) => Promise<boolean>;
+export type IssuerIsLive = (payment: ERef<Payment>) => Promise<boolean>;
 /**
  * Get the amount of digital assets in the payment.
  *   Because the payment is not trusted, we cannot call a method on it directly,
@@ -97,7 +114,7 @@ export type IssuerIsLive = (payment: ERef<Payment<AssetKind>>) => Promise<boolea
  *
  *   If the payment is a promise, the operation will proceed upon fulfillment.
  */
-export type IssuerGetAmountOf<K extends AssetKind> = (payment: ERef<Payment<AssetKind>>) => Promise<Amount<K>>;
+export type IssuerGetAmountOf<K extends AssetKind, M extends Key = Key> = (payment: ERef<Payment<K, M>>) => Promise<Amount<K, M>>;
 /**
  * Burn all of the digital assets in the payment.
  *   `optAmountShape` is optional. If the `optAmountShape` pattern is present,
@@ -113,16 +130,11 @@ export type IssuerGetAmountOf<K extends AssetKind> = (payment: ERef<Payment<Asse
  *   be interpreted as absence. If you want to express a `Pattern` that will
  *   match only `undefined`, use `M.undefined()` instead.
  */
-export type IssuerBurn = (payment: ERef<Payment<AssetKind>>, optAmountShape?: Pattern) => Promise<Amount>;
+export type IssuerBurn = (payment: ERef<Payment>, optAmountShape?: Pattern) => Promise<Amount>;
 /**
- * The issuer cannot mint a new amount, but it can
- *   create empty purses and payments. The issuer can also transform payments
- *   (splitting payments, combining payments, burning payments, and claiming
- *   payments exclusively). The issuer should be gotten from a trusted source
- *   and then relied upon as the decider of whether an untrusted payment is
- *   valid.
+ * Work around JSDoc union handling
  */
-export type Issuer<K extends AssetKind = AssetKind> = {
+export type IssuerMethods<K extends AssetKind, M extends Key> = {
     /**
      * Get the Brand for this Issuer. The Brand
      * indicates the type of digital asset and is shared by the mint, the issuer,
@@ -137,23 +149,33 @@ export type Issuer<K extends AssetKind = AssetKind> = {
      */
     getAllegedName: () => string;
     /**
-     * Get the kind of MathHelpers used by
-     * this Issuer.
+     * Get the kind of MathHelpers used by this
+     * Issuer.
      */
-    getAssetKind: () => AssetKind;
+    getAssetKind: () => K;
     /**
      * Give information to UI on how
      * to display amounts for this issuer.
      */
     getDisplayInfo: () => DisplayInfo<K>;
     /**
-     * Make an empty purse of this brand.
+     * Make an empty purse of this
+     * brand.
      */
-    makeEmptyPurse: () => Purse<K>;
+    makeEmptyPurse: () => Purse<K, M>;
     isLive: IssuerIsLive;
-    getAmountOf: IssuerGetAmountOf<K>;
+    getAmountOf: IssuerGetAmountOf<K, M>;
     burn: IssuerBurn;
 };
+/**
+ * The issuer cannot
+ *   mint a new amount, but it can create empty purses and payments. The issuer
+ *   can also transform payments (splitting payments, combining payments,
+ *   burning payments, and claiming payments exclusively). The issuer should be
+ *   gotten from a trusted source and then relied upon as the decider of whether
+ *   an untrusted payment is valid.
+ */
+export type Issuer<K extends AssetKind = AssetKind, M extends Key = Key> = RemotableObject & IssuerMethods<K, M>;
 export type PaymentLedger<K extends AssetKind = AssetKind> = {
     mint: Mint<K>;
     /**
@@ -165,15 +187,15 @@ export type PaymentLedger<K extends AssetKind = AssetKind> = {
     issuer: Issuer<K>;
     brand: Brand<K>;
 };
-export type IssuerKit<K extends AssetKind = AssetKind> = {
-    mint: Mint<K>;
+export type IssuerKit<K extends AssetKind = AssetKind, M extends Key = Key> = {
+    mint: Mint<K, M>;
     /**
-     * Externally useful only if this issuer
-     * uses recovery sets. Can be used to get the recovery set associated with
-     * minted payments that are still live.
+     * Externally useful only if this
+     * issuer uses recovery sets. Can be used to get the recovery set associated
+     * with minted payments that are still live.
      */
-    mintRecoveryPurse: Purse<K>;
-    issuer: Issuer<K>;
+    mintRecoveryPurse: Purse<K, M>;
+    issuer: Issuer<K, M>;
     brand: Brand<K>;
     displayInfo: DisplayInfo;
 };
@@ -196,16 +218,16 @@ export type AdditionalDisplayInfo = {
  * Holding a Mint carries the right to issue new digital
  *   assets. These assets all have the same kind, which is called a Brand.
  */
-export type Mint<K extends AssetKind = AssetKind> = {
+export type Mint<K extends AssetKind = AssetKind, M extends Key = Key> = {
     /**
      * Gets the Issuer for this mint.
      */
-    getIssuer: () => Issuer<K>;
+    getIssuer: () => Issuer<K, M>;
     /**
      * Creates a new
      * Payment containing newly minted amount.
      */
-    mintPayment: (newAmount: Amount<K>) => Payment<K>;
+    mintPayment: (newAmount: Amount<K>) => Payment<K, M>;
 };
 /**
  * Issuers first became durable with mandatory recovery sets. Later they were
@@ -233,52 +255,54 @@ export type DepositFacet = {
      */
     receive: DepositFacetReceive;
 };
-export type PurseDeposit<K extends AssetKind> = (payment: Payment<K>, optAmountShape?: Pattern) => Amount<K>;
 /**
- * Purses hold amount of digital assets of the same
- *   brand, but unlike Payments, they are not meant to be sent to others. To
- *   transfer digital assets, a Payment should be withdrawn from a Purse. The
- *   amount of digital assets in a purse can change through the action of
- *   deposit() and withdraw().
- *
- *   The primary use for Purses and Payments is for currency-like and goods-like
- *   digital assets, but they can also be used to represent other kinds of
- *   rights, such as the right to participate in a particular contract.
+ * Purses hold amount of
+ *   digital assets of the same brand, but unlike Payments, they are not meant
+ *   to be sent to others. To transfer digital assets, a Payment should be
+ *   withdrawn from a Purse. The amount of digital assets in a purse can change
+ *   through the action of deposit() and withdraw().
  */
-export type Purse<K extends AssetKind = AssetKind> = {
+export type Purse<K extends AssetKind = AssetKind, M extends Key = Key> = RemotableObject & PurseMethods<K, M>;
+/**
+ * The primary use for Purses and Payments is for
+ *   currency-like and goods-like digital assets, but they can also be used to
+ *   represent other kinds of rights, such as the right to participate in a
+ *   particular contract.
+ */
+export type PurseMethods<K extends AssetKind = AssetKind, M extends Key = Key> = {
     /**
      * Get the alleged Brand for this
      * Purse
      */
     getAllegedBrand: () => Brand<K>;
     /**
-     * Get the amount contained in this
-     * purse.
+     * Get the amount contained in
+     * this purse.
      */
-    getCurrentAmount: () => Amount<K>;
+    getCurrentAmount: () => Amount<K, M>;
     /**
-     * Get a lossy
-     * notifier for changes to this purse's balance.
+     * Get a
+     * lossy notifier for changes to this purse's balance.
      */
-    getCurrentAmountNotifier: () => LatestTopic<Amount<K>>;
+    getCurrentAmountNotifier: () => LatestTopic<Amount<K, M>>;
     /**
-     * Deposit all the contents of payment into
-     * this purse, returning the amount. If the optional argument `optAmount` does
-     * not equal the amount of digital assets in the payment, throw an error.
+     *   Deposit all the contents of payment into this purse, returning the amount. If
+     *   the optional argument `optAmount` does not equal the amount of digital
+     *   assets in the payment, throw an error.
      *
-     * If payment is a promise, throw an error.
+     *   If payment is a promise, throw an error.
      */
-    deposit: PurseDeposit<K>;
+    deposit: <P extends Payment<K, M>>(payment: P, optAmountShape?: Pattern) => P extends Payment<K, M> ? Amount<K, M> : never;
     /**
      * Return an object whose
      * `receive` method deposits to the current Purse.
      */
     getDepositFacet: () => DepositFacet;
     /**
-     * Withdraw amount from
-     * this purse into a new Payment.
+     * Withdraw amount
+     * from this purse into a new Payment.
      */
-    withdraw: (amount: Amount<K>) => Payment<K>;
+    withdraw: (amount: Amount<K, M>) => Payment<K, M>;
     /**
      * The set of payments
      * withdrawn from this purse that are still live. These are the payments that
@@ -291,24 +315,24 @@ export type Purse<K extends AssetKind = AssetKind> = {
      *
      * Returns an empty set if this issuer does not support recovery sets.
      */
-    getRecoverySet: () => CopySet<Payment<K>>;
+    getRecoverySet: () => CopySet<Payment<K, M>>;
     /**
-     * For use in emergencies, such as coming
-     * back from a traumatic crash and upgrade. This deposits all the payments in
-     * this purse's recovery set into the purse itself, returning the total amount
-     * of assets recovered.
+     * For use in emergencies, such as
+     * coming back from a traumatic crash and upgrade. This deposits all the
+     * payments in this purse's recovery set into the purse itself, returning the
+     * total amount of assets recovered.
      *
      * Returns an empty amount if this issuer does not support recovery sets.
      */
-    recoverAll: () => Amount<K>;
+    recoverAll: () => Amount<K, M>;
 };
 /**
- * Payments hold amount of digital assets of the same
- *   brand in transit. Payments can be deposited in purses, split into multiple
- *   payments, combined, and claimed (getting an exclusive payment). Payments
- *   are linear, meaning that either a payment has the same amount of digital
- *   assets it started with, or it is used up entirely. It is impossible to
- *   partially use a payment.
+ * Payments hold amount
+ *   of digital assets of the same brand in transit. Payments can be deposited
+ *   in purses, split into multiple payments, combined, and claimed (getting an
+ *   exclusive payment). Payments are linear, meaning that either a payment has
+ *   the same amount of digital assets it started with, or it is used up
+ *   entirely. It is impossible to partially use a payment.
  *
  *   Payments are often received from other actors and therefore should not be
  *   trusted themselves. To get the amount of digital assets in a payment, use
@@ -318,7 +342,8 @@ export type Purse<K extends AssetKind = AssetKind> = {
  *   `issuer.makeEmptyPurse()` to create a purse, then
  *   `purse.deposit(payment)`.
  */
-export type Payment<K extends AssetKind = AssetKind> = {
+export type Payment<K extends AssetKind = AssetKind, M extends Key = Key> = RemotableObject & PaymentMethods<K>;
+export type PaymentMethods<K extends AssetKind = AssetKind> = {
     /**
      * Get the allegedBrand, indicating
      * the type of digital asset this payment purports to be, and which issuer to
@@ -377,8 +402,10 @@ export type MathHelpers<V extends AmountValue> = {
     doSubtract: (left: V, right: V) => V;
 };
 export type NatValue = bigint;
-export type SetValue = any[];
+export type SetValue<K extends Key = Key> = K[];
+import type { Key } from '@endo/patterns';
 import type { CopySet } from '@endo/patterns';
-import type { ERef } from '@endo/far';
+import type { CopyBag } from '@endo/patterns';
+import type { RemotableObject } from '@endo/pass-style';
 import type { LatestTopic } from '@agoric/notifier';
 //# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";;;;;;;;;;mBAuBgC,CAAC;WADnB,KAAK,CACa,CAAC,AADZ,CAAC;WACR,iBAAiB,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBA2BrB,KAAK,GAAG,KAAK,GAAG,SAAS,GAAG,SAAS;8BAYvC,CAAC;8BAaD,CAAC;wBAiBE,CAAC;;;;;;;;;;;;;;;;;eAAD,CAAC;;;;;;;;;;;;;kBAkBiB,CAAC;;;;4DAHc,OAAO,CAAC,OAAO,CAAC;oBAEjD,MAAM,MAAM;;;;;oBACZ,MAAM,WAAW,CAAC,CAAC,CAAC;oBAEpB,MAAM,OAAO;;;;;;;kEAUd,OAAO,CAAC,OAAO,CAAC;;;;;;;;8BAUD,CAAC,6DAAhB,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;8EAkBpB,OAAO,KACL,OAAO,CAAC,MAAM,CAAC;;;;;;;;;mBAwBI,CAAC;;;;;;;;cAbnB,MAAM,KAAK,CAaO,CAAC,AAbN,CAAC;;;;;oBAKd,MAAM,MAAM;;;;;kBAEZ,MAAM,SAAS;;;;;oBAEf,MAAM,WAAW,CAIC,CAAC,AAJA,CAAC;;;;oBAEpB,MAAM,KAAK,CAEO,CAAC,AAFN,CAAC;YACd,YAAY;iBACZ,iBAAiB,CAAC,CAAC,CAAC;UACpB,UAAU;;0BAWJ,CAAC;UALP,IAAI,CAKE,CAAC,AALD,CAAC;;;;;;uBACP,KAAK,CAIC,CAAC,AAJA,CAAC;YAGR,MAAM,CACA,CAAC,AADC,CAAC;WACT,KAAK,CAAC,CAAC,CAAC;;sBAWF,CAAC;UALP,IAAI,CAKE,CAAC,AALD,CAAC;;;;;;uBACP,KAAK,CAIC,CAAC,AAJA,CAAC;YAGR,MAAM,CACA,CAAC,AADC,CAAC;WACT,KAAK,CAAC,CAAC,CAAC;iBACR,WAAW;;;;;;;;;;;;;;;;;;;;;iBAsBuB,CAAC;;;;eADnC,MAAM,MAAM,CACsB,CAAC,AADrB,CAAC;;;;;iBACf,CAAC,SAAS,EAAE,MAAM,CAAgB,CAAC,AAAf,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;iCAmBrC,iBAAiB,GAAG,gBAAgB;4CAOtC,OAAO,mBACP,OAAO,KACL,MAAM;;;;;;;;;;aAKL,mBAAmB;;yBAab,CAAC,gCAFV,OAAO,CAEE,CAAC,AAFD,CAAC,mBACV,OAAO,KACL,MAAM,CAAC,CAAC,CAAC;;;;;;;;;;;;kBAuCK,CAAC;;;;;qBAzBd,MAAM,KAAK,CAyBE,CAAC,AAzBD,CAAC;;;;;sBAEd,MAAM,MAAM,CAuBC,CAAC,AAvBA,CAAC;;;;;;;;;;;;;aAIf,YAAY,CAmBC,CAAC,AAnBA,CAAC;;;;;qBAKf,MAAM,YAAY;;;;;cAElB,CAAC,MAAM,EAAE,MAAM,CAYF,CAAC,AAZG,CAAC,KAAK,OAAO,CAYjB,CAAC,AAZkB,CAAC;;;;;;;;;;;;;;;;;;;;;;gBAYjC,MAAM,MAAM,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;;;oBAwBH,CAAC;;;;;;;qBAAb,MAAM,KAAK,CAAC,CAAC,CAAC;;;;;;;;;;;;;;wBA+BS,CAAC;;;;;cAXxB,CAAC,YAAY,EAWU,CAAC,AAXR,KAWO,CAAC,AAXF;;;;;iBAEtB,MASuB,CAAC,AATjB;;;;;eAEP,CAAC,KAAK,EAOiB,CAAC,AAPf,KAAK,OAAO;;;;;aAErB,CAAC,IAAI,EAKkB,CAAC,AALhB,EAAE,KAAK,EAKQ,CAAC,AALN,KAAK,OAAO;;;;eAE9B,CAAC,IAAI,EAGkB,CAAC,AAHhB,EAAE,KAAK,EAGQ,CAAC,AAHN,KAAK,OAAO;;;;;WAC9B,CAAC,IAAI,EAEkB,CAAC,AAFhB,EAAE,KAAK,EAEQ,CAAC,AAFN,KAEK,CAAC,AAFA;;;;;;gBAExB,CAAC,IAAI,EAAkB,CAAC,AAAhB,EAAE,KAAK,EAAQ,CAAC,AAAN,KAAK,CAAC;;uBAKxB,MAAM;;6BAtWW,gBAAgB;0BADxB,WAAW;iCAEY,kBAAkB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":"wBAYc;IAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;sBAGT,CAAC,gBAA/B;IAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAAC,KAAK,EAAE,CAAC,EAAE,CAAA;CAAE;0BAIO,CAAC;WAAlC,KAAK,CAAC,SAAS,CAAC;;;0BAIiB,CAAC;WAAlC,KAAK,CAAC,SAAS,CAAC;;;wBAExB;IAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAAC,KAAK,EAAE,GAAG,CAAA;CAAE;;;;;;;;;;mBAWpC,CAAC,gCACe,CAAC,sBADjB,CAAC,AANE,SAAS,KAAK,GACrB,SAAS,GAKL,CAAC,AAJJ,SAAS,KAAK,GACb,SAAS,CAIS,CAAC,AAJR,CAAC,GAGV,CAAC,AAFF,SAAS,SAAS,GACjB,aAAa,CAEG,CAAC,AAFF,CAAC,GAChB,CAAC,SAAS,SAAS,GACjB,aAAa,CAAC,CAAC,CAAC,GAChB,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAkCT,KAAK,GAAG,KAAK,GAAG,SAAS,GAAG,SAAS;8BAavC,CAAC,oBACS,CAAC;8BAYX,CAAC;wBAiBE,CAAC;;;;;;;;;;;;;;;;;eAAD,CAAC;;yBAWiB,CAAC;;;;gBAHnB,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAGT,CAAC,AAHU,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC;oBAEpD,MAAM,MAAM;;;;;oBACZ,MAAM,WAAW,CAAC,CAAC,CAAC;oBAEpB,MAAM,OAAO;;;;;;;;;;;;;kBAKiB,CAAC;;;;;;qCAiBlC,IAAI,CAAC,OAAO,CAAC,KACX,OAAO,CAAC,OAAO,CAAC;;;;;;;;8BAWD,CAAC,oBAAE,CAAC,gCADrB,IAAI,CAAC,OAAO,CACK,CAAC,AADJ,EACM,CAAC,AADJ,CAAC,CAAC,KACjB,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;mCAiBvB,IAAI,CAAC,OAAO,CAAC,mBACb,OAAO,KACL,OAAO,CAAC,MAAM,CAAC;;;;0BAqBI,CAAC,oBAAE,CAAC;;;;;;;;cAdtB,MAAM,KAAK,CAcO,CAAC,AAdN,CAAC;;;;;oBAKd,MAAM,MAAM;;;;;kBAEZ,MAOkB,CAAC,AAPZ;;;;;oBAEP,MAAM,WAAW,CAKC,CAAC,AALA,CAAC;;;;;oBAEpB,MAAM,KAAK,CAGO,CAAC,AAHN,EAGQ,CAAC,AAHN,CAAC;YAEjB,YAAY;iBACZ,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC;UACvB,UAAU;;;;;;;;;;mBAMqB,CAAC,gCAAE,CAAC;0BAgB7B,CAAC;UALP,IAAI,CAKE,CAAC,AALD,CAAC;;;;;;uBACP,KAAK,CAIC,CAAC,AAJA,CAAC;YAGR,MAAM,CACA,CAAC,AADC,CAAC;WACT,KAAK,CAAC,CAAC,CAAC;;sBAYF,CAAC,gCADG,CAAC;UAJX,IAAI,CAKE,CAAC,AALD,EAII,CAAC,AAJF,CAAC;;;;;;uBACV,KAAK,CAIC,CAAC,AAJA,EAGG,CAAC,AAHD,CAAC;YAGX,MAAM,CACA,CAAC,AADC,EAAE,CAAC,CAAC;WACZ,KAAK,CAAC,CAAC,CAAC;iBACR,WAAW;;;;;;;;;;;;;;;;;;;;;iBAuBuB,CAAC,gCAAE,CAAC;;;;eADtC,MAAM,MAAM,CACsB,CAAC,AADrB,EACuB,CAAC,AADrB,CAAC;;;;;iBAClB,CAAC,SAAS,EAAE,MAAM,CAAgB,CAAC,AAAf,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;;;;;;;;;;;;;;;iCAmBxC,iBAAiB,GAAG,gBAAgB;4CAOtC,OAAO,mBACP,OAAO,KACL,MAAM;;;;;;;;;;aAKL,mBAAmB;;;;;;;;;kBAWW,CAAC,gCAAE,CAAC;;;;;;;yBA2CrB,CAAC,gCAAE,CAAC;;;;;qBA7BjB,MAAM,KAAK,CA6BE,CAAC,AA7BD,CAAC;;;;;sBAEd,MAAM,MAAM,CA2BC,CAAC,AA3BA,EA2BE,CAAC,AA3BA,CAAC;;;;;;;;;;;;;aAIlB,CAAC,CAAC,SAAS,OAAO,CAuBL,CAAC,AAvBM,EAuBJ,CAAC,AAvBM,CAAC,EACrC,OAAW,EAEJ,CAAC,AAFM,EACd,cAAkB,CAAC,EAAE,OAAO,KACrB,CAAC,SAAS,OAAO,CAoBE,CAAC,AApBD,EAoBG,CAAC,AApBD,CAAC,GAAG,MAAM,CAoBb,CAAC,AApBc,EAoBZ,CAAC,AApBc,CAAC,GAAG,KAAK;;;;;qBAMxC,MAAM,YAAY;;;;;cAElB,CAAC,MAAM,EAAE,MAAM,CAYF,CAAC,AAZG,EAYD,CAAC,AAZG,CAAC,KAAK,OAAO,CAYpB,CAAC,AAZqB,EAYnB,CAAC,AAZqB,CAAC;;;;;;;;;;;;;;;;;;;;;;gBAYvC,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;;;;;;;;;;;;;;;;;;oBAWc,CAAC;2BAmBrB,CAAC;;;;;;;qBAAb,MAAM,KAAK,CAAC,CAAC,CAAC;;;;;;;;;;;;;;wBA+BS,CAAC;;;;;cAXxB,CAAC,YAAY,EAWU,CAAC,AAXR,KAWO,CAAC,AAXF;;;;;iBAEtB,MASuB,CAAC,AATjB;;;;;eAEP,CAAC,KAAK,EAOiB,CAAC,AAPf,KAAK,OAAO;;;;;aAErB,CAAC,IAAI,EAKkB,CAAC,AALhB,EAAE,KAAK,EAKQ,CAAC,AALN,KAAK,OAAO;;;;eAE9B,CAAC,IAAI,EAGkB,CAAC,AAHhB,EAAE,KAAK,EAGQ,CAAC,AAHN,KAAK,OAAO;;;;;WAC9B,CAAC,IAAI,EAEkB,CAAC,AAFhB,EAAE,KAAK,EAEQ,CAAC,AAFN,KAEK,CAAC,AAFA;;;;;;gBAExB,CAAC,IAAI,EAAkB,CAAC,AAAhB,EAAE,KAAK,EAAQ,CAAC,AAAN,KAAK,CAAC;;uBAKxB,MAAM;qBAIP,CAAC,sBAAD,CAAC,EAAE;yBA1ZwB,gBAAgB;6BAAhB,gBAAgB;6BAAhB,gBAAgB;qCADZ,kBAAkB;iCAEhB,kBAAkB"}