@mark1russell7/coeval 0.18.0 → 0.20.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +4 -4
- package/build/index.d.ts +307 -20
- package/build/index.d.ts.map +1 -1
- package/build/index.js +3362 -1537
- package/build/index.js.map +1 -1
- package/package.json +3 -1
- package/src/codec.ts +30 -10
- package/src/durable.ts +17 -5
- package/src/facts.ts +55 -19
- package/src/formula.ts +45 -1
- package/src/index.ts +20 -2
- package/src/instances.ts +665 -0
- package/src/reads.ts +186 -2
- package/src/reference.ts +142 -12
- package/src/static.ts +363 -50
- package/src/stdlib.ts +480 -15
- package/src/types.ts +6 -2
- package/src/typing.ts +143 -3
- package/src/world.ts +108 -0
package/README.md
CHANGED
|
@@ -34,22 +34,22 @@ A plan evaluates many times without a trace. `evaluate(machine, doc)` gives the
|
|
|
34
34
|
| The run side | `run`, `Runner`, `Perform`, `Effect`, `permits`, `narrow`, `partCaps` | Effects in order, parts at the same time, capabilities that only narrow, and an abort. The kernel narrows the capabilities of each part by the contract of its kind. Each effect has a stable `address` and its `outcome` |
|
|
35
35
|
| Record and replay | `recorder`, `replayer`, `encodeLog`, `decodeLog`, `ReplayLog`, `ReplayEntry`, `ReplaySettle`, `ReplayOptions`, `ReplayLogJson`, `ReplayEntryJson`, `ReplayResultJson`, `ReplayErrorJson`, `ReplayExceptionJson`, `ReplayPartJson`, `ReplayPartsJson`, `Journal`, `JOURNAL` | A recorder logs each effect of a run with its address and its outcome, and the order of the waits. A replayer answers each effect from the log for each run, and a different request gives `#REPLAY!`. `encodeLog` writes a log as JSON for a golden file |
|
|
36
36
|
| Errors | `Result`, `EvalError`, `Failure`, `failures` | An error value has a code, a reason, a place and a cause. An evaluation does not throw |
|
|
37
|
-
| The static kit | `walk`, `refsOf`, `mapRefs`, `check`, `CheckOptions`, `checkWorld`, `WorldIssue` | The documents of a document in linear time, its free references, and its problems before a run, each with its place and its JSON path. A check narrows the capabilities as a run does, and it asks the hook `permits` of the machine. The hook `known` of a machine names the unknown operations. The option `verb` of `check` checks the evaluators and the declared effects of another verb. The option `types` also checks the value types. The option `run` finds a runner that can wait under a parent that cannot wait. `checkWorld` finds each kind without an evaluator for a verb of the language, before a document exists |
|
|
37
|
+
| The static kit | `walk`, `refsOf`, `mapRefs`, `check`, `CheckOptions`, `checkWorld`, `WorldIssue`, `WorldOptions` | The documents of a document in linear time, its free references, and its problems before a run, each with its place and its JSON path. A check narrows the capabilities as a run does, and it asks the hook `permits` of the machine. The hook `known` of a machine names the unknown operations. The option `verb` of `check` checks the evaluators and the declared effects of another verb. The option `types` also checks the value types. The option `run` finds a runner that can wait under a parent that cannot wait. `checkWorld` finds each kind without an evaluator for a verb of the language, before a document exists. Its option `types` also finds each bad value type of the machine |
|
|
38
38
|
| The effects | `effectsOf`, `checkLatent`, `EffectsOptions` | The effects of a document that can reach the host: the declared effects, without the effects that a mask or a rule `only` removes. A host can grant exactly these capabilities. `checkLatent` compares the latent effects that a procedure declares with its body (D27) |
|
|
39
39
|
| The static facts | `factsOf`, `DocFacts`, `StaticRead`, `FactsOptions`, `KindFacts`, `LazyRule` | The reads of a document with a mark for each read under a lazy part, its side, its effects and the marks `pure` and `volatile`. The contracts and the hook `facts` of a machine declare them (D24). The option `verb` names the verb |
|
|
40
|
-
| Trees | `STD_WORLD` (`panel`, `box`), `nearestWalker` | The decorated tree: each field of a node is an attribute that evaluates on demand, one time in an evaluation. A sibling is a path through the parent, and a cycle gives `#CYCLE!` with its chain |
|
|
40
|
+
| Trees | `STD_WORLD` (`panel`, `box`), `nearestWalker`, `treeNodeEvaluator` | The decorated tree: each field of a node is an attribute that evaluates on demand, one time in an evaluation. A sibling is a path through the parent, and a cycle gives `#CYCLE!` with its chain. A cycle of `circular` attributes evaluates to a fixed point. A host can keep the memo cells of the attributes between evaluations, by the key of each node in its scope |
|
|
41
41
|
| The formula kit | `formulaMachine`, `FormulaProfile`, `formulaKnown`, `formulaFacts` | The shared constructs `lit`, `ref`, `record`, `list`, `let`, `fn`, `call`, `if`, `and`, `or`, and the namespaces `ops` and `ext`. A profile gives the rules of a language, for example how the errors of two parts combine. A language extends the kit through the merge. An address gives a thing, not its value |
|
|
42
42
|
| The codec of values | `encodeValue`, `decodeValue`, `decodeDomain`, `DomainCodec`, `STD_EXT` | A host value as one term document. JSON stays as it is. `ext.number`, `ext.undefined` and `ext.domain` hold the other values. A domain gives its codec (D40) |
|
|
43
43
|
| The syntax kit | `parse`, `print`, `syntaxFormat`, `SyntaxProfile`, `SyntaxOperator`, `SyntaxIssue`, `STD_SYNTAX`, `WORLD_SYNTAX` | One parser and one printer for the text of a language. A profile gives the operators, the literals, the references and the calls. `parse` gives documents or issues with spans, and `print` gives text that `parse` reads back (D41). `WORLD_SYNTAX` is the profile of `STD_WORLD` (D64) |
|
|
44
44
|
| One meaning | `agree`, `reference`, `formulaDefinitions`, `STD_DEFINITIONS`, `generate`, `TierInput` | A reference interpreter that compiles nothing, and `agree`, which compares a plan with it and with the second tier of a language. Each tier gets the mock `perform` and the `verb` of `agree`. `generate` builds random documents from the kind contracts. `agreeRun` compares runs, and the free reads of the plan and of the reference run. The option `reads` of `reference` and `referenceRun` records the reads of the reference (D67) |
|
|
45
45
|
| Conformance | `conforms`, `ConformOptions`, `Finding`, `Obligation`, `ConformProbe` | The obligations of host code, examined for one evaluator or runner with probe parts and a probe runtime. Each finding names the obligation, the reason and a probe that shows it (D36) |
|
|
46
46
|
| Early cutoff | `sameResult` | A safe equality of two results for a schedule. Plain JSON compares by structure, and each other object only as itself. Two errors need the same code, reason and place |
|
|
47
|
-
| Reads | `verifyReads`, `Read`, `ReadsCheck`, `VerifyOptions` | The option `reads` of an evaluation records each path that it resolves, with what the path reached. `verifyReads` resolves each free read again in a new context, and it tells if the old result stays valid (D26) |
|
|
47
|
+
| Reads | `verifyReads`, `printReads`, `Read`, `ReadsCheck`, `VerifyOptions`, `PrintOptions`, `ReadPrints` | The option `reads` of an evaluation records each path that it resolves, with what the path reached. `verifyReads` resolves each free read again in a new context, and it tells if the old result stays valid (D26). The prints of `printReads` find a value that changed in place (D112) |
|
|
48
48
|
| Durability | `durable`, `Durable`, `DurableOptions`, `DurableCounts`, `Epochs` | A cache of plans, facts and results with one epoch for the structure and one for the data. A change of data compiles nothing. A pure document verifies its reads, and another document evaluates again (D30) |
|
|
49
49
|
| Schedules | `schedule`, `Schedule`, `ScheduleOptions`, `ScheduleCounts`, `NodeRunOptions`, `edgesOf`, `NodeEdge`, `NodeInfo` | A graph of named nodes under the root `world`: the edges from the static reads, the side of each node, and an evaluation on demand through `durable`. Each node of a cycle gives `#CYCLE!`, and a node on the run side is a sink (D31). A demand of the host first demands the nodes of its eager edges, deepest first, thus a long chain gives no `#DEPTH!` (D33) |
|
|
50
50
|
| The analysis of a graph | `components`, `heights`, `nodeLayers`, `necessary`, `cycles`, `NodeGraph`, `GraphNode`, `GraphEdge`, `GraphCycle`, `GraphOptions` | The strongly connected components, the heights of a push schedule, the layers of independent nodes, the nodes that an observer needs, and the certain and the possible cycles. Each function has its own stack, thus a chain of 100000 nodes does not overflow. The graph of a schedule is such a graph (D33) |
|
|
51
51
|
| Types | `ValueType`, `Domain`, `fits`, `member`, `typeIssues`, `join`, `typeText`, `STD_DOMAINS`, `extendDomain`, `DomainExtension` | Value types as JSON terms, for the checks of types. A language adds its base types as domains of its machine, each with a membership test, parents and the types of its steps. `unknown` fits each type, and each type fits it. `join` gives one type for two types, and `typeText` gives the text of a type. `extendDomain` adds parents or steps to a domain of another language through the merge |
|
|
52
|
-
| The check of types | `typeCheck`, `Typing`, `Typed`, `TypeRule`, `TypeInput`, `PartType`, `TypeProblem`, `Signature` | A check that synthesizes the type of each document and checks it against the type that its position needs. The type rule of an evaluator, the signatures of a formula profile, and `result` and `expect` of a contract give the types. A wrong type gives the static issue `#TYPE!`, and an evaluation does not change |
|
|
52
|
+
| The check of types | `typeCheck`, `Typing`, `Typed`, `TypeRule`, `TypeInput`, `PartType`, `TypeProblem`, `Declared`, `Signature` | A check that synthesizes the type of each document and checks it against the type that its position needs. The type rule of an evaluator, the signatures of a formula profile, and `result` and `expect` of a contract give the types. A wrong type gives the static issue `#TYPE!`, and an evaluation does not change |
|
|
53
53
|
| The types of the roots | `RootTypes`, `CAPS_TYPE`, `typeFromSchema`, `typeFromSamples`, `TypeReading`, `SampleOptions` | The host gives the types of its names and of the roots in the option `rootTypes`. A reference then gets the type that its path reaches, and a missing field of a closed record gives `#TYPE!`. A host makes such a type from a JSON Schema or from sample values |
|
|
54
54
|
|
|
55
55
|
Each rule has an ID in [`docs/SPEC.md`](https://github.com/mark1russell7/coeval/blob/main/docs/SPEC.md), and each ID has a test. [The site](https://mark1russell7.github.io/coeval/) explains each idea with a live diagram.
|
package/build/index.d.ts
CHANGED
|
@@ -922,6 +922,8 @@ interface KindFacts {
|
|
|
922
922
|
* Then the term `combine` adds the attribute of each node in the list `children`, one at a time (TREE.FOLD).
|
|
923
923
|
* `combine` sees the names `acc` and `item`.
|
|
924
924
|
* - `default`: the term that gives the value when no rung before it answers and the declaration has no fold.
|
|
925
|
+
* - `circular`: a cycle of this attribute gives its fixed point, not `#CYCLE!` (TREE.CIRCULAR, D113). Only a cycle
|
|
926
|
+
* whose attributes each declare `circular` gives a fixed point.
|
|
925
927
|
*/
|
|
926
928
|
interface AttributeDeclaration {
|
|
927
929
|
readonly copy?: boolean;
|
|
@@ -930,7 +932,39 @@ interface AttributeDeclaration {
|
|
|
930
932
|
readonly combine: Json;
|
|
931
933
|
};
|
|
932
934
|
readonly default?: Json;
|
|
935
|
+
readonly circular?: CircularDeclaration;
|
|
933
936
|
}
|
|
937
|
+
/**
|
|
938
|
+
* The declaration `circular` of an attribute (TREE.CIRCULAR, D113). The attribute that a cycle reaches first leads it.
|
|
939
|
+
* The leader evaluates again until no value of the cycle changes.
|
|
940
|
+
*
|
|
941
|
+
* - `start`: the value of the attribute before its first round, as JSON data. The kit does not evaluate it.
|
|
942
|
+
* - `limit`: the most rounds of the leader, a whole number of 1 or more. The default is `CIRCULAR_LIMIT`. A cycle that
|
|
943
|
+
* is not stable after the last round gives `#CYCLE!` (TREE.CIRCULAR-LIMIT).
|
|
944
|
+
*/
|
|
945
|
+
interface CircularDeclaration {
|
|
946
|
+
readonly start: Json;
|
|
947
|
+
readonly limit?: number;
|
|
948
|
+
}
|
|
949
|
+
/** The most rounds of a circular attribute without its own `limit` (TREE.CIRCULAR-LIMIT, D113). */
|
|
950
|
+
export declare const CIRCULAR_LIMIT = 100;
|
|
951
|
+
/** A declaration `circular` that the kit can use: its start value and its limit, or the reason of a bad declaration. */
|
|
952
|
+
type CircularRule = {
|
|
953
|
+
readonly ok: true;
|
|
954
|
+
readonly start: Json;
|
|
955
|
+
readonly limit: number;
|
|
956
|
+
} | {
|
|
957
|
+
readonly ok: false;
|
|
958
|
+
readonly reason: string;
|
|
959
|
+
};
|
|
960
|
+
/**
|
|
961
|
+
* This function reads the declaration `circular` of an attribute (D113). The tree kit, the reference, `check` and the
|
|
962
|
+
* graph of attribute instances read it with this one function.
|
|
963
|
+
*
|
|
964
|
+
* @param declared - The value of the field `circular`.
|
|
965
|
+
* @returns The start value and the limit, or the reason when the declaration has no correct form.
|
|
966
|
+
*/
|
|
967
|
+
export declare function circularOf(declared: unknown): CircularRule;
|
|
934
968
|
/**
|
|
935
969
|
* The tree contract of a kind (D42): the equations of the attributes of its nodes. Each equation is a document that
|
|
936
970
|
* evaluates with the node as `self` and without capabilities. A bare equation gets the type `of` of the parts of the
|
|
@@ -1430,32 +1464,63 @@ export declare function typeCheck(machine: Machine, doc: unknown, options?: Chec
|
|
|
1430
1464
|
/**
|
|
1431
1465
|
* A problem of a world that `checkWorld` finds before a document exists (STATIC.COVERAGE). Each document of the
|
|
1432
1466
|
* kind gives this problem for the verb, thus `check` with the verb finds it too.
|
|
1467
|
+
*
|
|
1468
|
+
* With the option `types`, a problem can also be a bad value type of the machine (TYPE.WORLD, D110). Such a problem has
|
|
1469
|
+
* the code `#TYPE!` and the keys of the bad term in `at`.
|
|
1433
1470
|
*/
|
|
1434
1471
|
interface WorldIssue {
|
|
1435
|
-
/**
|
|
1436
|
-
|
|
1437
|
-
|
|
1472
|
+
/**
|
|
1473
|
+
* The code of the problem. `#NOEVAL`: no rung of the ladder gives an evaluator for the verb. `#TYPE!`: a value type
|
|
1474
|
+
* of the machine is not correct, or a declaration of types cannot be true.
|
|
1475
|
+
*/
|
|
1476
|
+
readonly code: "#NOEVAL" | "#TYPE!";
|
|
1477
|
+
/**
|
|
1478
|
+
* The keys of the kind from the root of the world. For a fallback kind, the keys of its namespace. For a type of a
|
|
1479
|
+
* domain or of a type rule, the list is empty.
|
|
1480
|
+
*/
|
|
1438
1481
|
readonly kind: readonly Key[];
|
|
1439
1482
|
/** `true` for the fallback kind of a namespace or of the world. */
|
|
1440
1483
|
readonly fallback?: true;
|
|
1441
|
-
/** The verb without an evaluator. */
|
|
1484
|
+
/** The verb without an evaluator. A type issue has the verb `eval`, because the value types describe `eval` (D25). */
|
|
1442
1485
|
readonly verb: string;
|
|
1486
|
+
/** For a type issue of a domain: the name of the domain in `Machine.domains`. */
|
|
1487
|
+
readonly domain?: string;
|
|
1488
|
+
/** For a type issue of a type rule: the name of its evaluator in `Machine.evaluators`. */
|
|
1489
|
+
readonly evaluator?: string;
|
|
1490
|
+
/**
|
|
1491
|
+
* For a type issue: the keys of the bad term in the kind, the domain or the declarations of the rule. An example is
|
|
1492
|
+
* `["parts", "item", "expect"]`, or `["sigs", "add", 1, "params", 0]`.
|
|
1493
|
+
*/
|
|
1494
|
+
readonly at?: readonly Key[];
|
|
1443
1495
|
readonly reason: string;
|
|
1444
1496
|
}
|
|
1497
|
+
/** The options of `checkWorld`. */
|
|
1498
|
+
interface WorldOptions {
|
|
1499
|
+
/**
|
|
1500
|
+
* With `true`, the check also examines each value type of the machine (TYPE.WORLD, D110). It reads the contracts of
|
|
1501
|
+
* the kinds, the domains and the declarations of the type rules. The default is `false`.
|
|
1502
|
+
*/
|
|
1503
|
+
readonly types?: boolean;
|
|
1504
|
+
}
|
|
1445
1505
|
/**
|
|
1446
1506
|
* This function checks the world of a machine before a document exists. It finds each kind that has no entry for a
|
|
1447
1507
|
* verb of the list, when the world has no default for that verb (STATIC.COVERAGE). A document of such a kind gets no
|
|
1448
1508
|
* evaluator for the verb, thus the check gives the same proof of coverage as a type system.
|
|
1449
1509
|
*
|
|
1450
1510
|
* The check visits each kind of each namespace, at each depth, and the fallback kind of each namespace and of the
|
|
1451
|
-
* world. It does not follow an alias, because the kind of an alias has its own place.
|
|
1511
|
+
* world. It does not follow an alias, because the kind of an alias has its own place. Without the option `types`, the
|
|
1512
|
+
* check reads only the world.
|
|
1513
|
+
*
|
|
1514
|
+
* With the option `types`, the check also examines each value type of the machine (TYPE.WORLD, D110). These issues
|
|
1515
|
+
* have the code `#TYPE!`, and they come after the issues of the verbs.
|
|
1452
1516
|
*
|
|
1453
1517
|
* @param machine - The machine, for its world.
|
|
1454
1518
|
* @param verbs - The verbs that each kind of the language must answer, for example `eval`, `view` and `type`.
|
|
1519
|
+
* @param options - The option `types`.
|
|
1455
1520
|
* @returns One issue for each kind and verb without an evaluator. The order is the order of the world, then the
|
|
1456
1521
|
* order of the verbs. The fallback kind of a namespace comes after the entries of that namespace.
|
|
1457
1522
|
*/
|
|
1458
|
-
export declare function checkWorld(machine: Machine, verbs: readonly string[]): readonly WorldIssue[];
|
|
1523
|
+
export declare function checkWorld(machine: Machine, verbs: readonly string[], options?: WorldOptions): readonly WorldIssue[];
|
|
1459
1524
|
/** What a type rule gets for one document. */
|
|
1460
1525
|
interface TypeInput {
|
|
1461
1526
|
/** The keys of the kind of the document, after each alias. */
|
|
@@ -1575,7 +1640,32 @@ interface TypeRule {
|
|
|
1575
1640
|
* @returns The type of the document.
|
|
1576
1641
|
*/
|
|
1577
1642
|
readonly synth: (input: TypeInput, report: (problem: TypeProblem) => void) => ValueType;
|
|
1643
|
+
/**
|
|
1644
|
+
* This function lists the declarations that the rule reads, for example the signatures of a formula profile
|
|
1645
|
+
* (TYPE.WORLD, D110). `checkWorld` with the option `types` examines each one before a document exists. A rule
|
|
1646
|
+
* without this function declares nothing.
|
|
1647
|
+
*
|
|
1648
|
+
* @returns The value types that the rule reads, and the problems that the rule finds in its declarations.
|
|
1649
|
+
*/
|
|
1650
|
+
readonly declared?: () => readonly Declared[];
|
|
1578
1651
|
}
|
|
1652
|
+
/**
|
|
1653
|
+
* One declaration of a type rule (TYPE.WORLD, D110). It is a value type that the rule reads, with what it is. Or it is
|
|
1654
|
+
* a problem that the rule finds in a declaration, for example an overload that the check does not select at any time.
|
|
1655
|
+
*/
|
|
1656
|
+
type Declared = {
|
|
1657
|
+
/** The keys of the declaration in the declarations of the rule, for example `["sigs", "add", "to"]`. */
|
|
1658
|
+
readonly at: readonly Key[];
|
|
1659
|
+
/** The value type. `checkWorld` examines it with `typeIssues`. */
|
|
1660
|
+
readonly type: unknown;
|
|
1661
|
+
/** What the type is, for the reason of an issue, for example "result of a signature of ops.add". */
|
|
1662
|
+
readonly what: string;
|
|
1663
|
+
} | {
|
|
1664
|
+
/** The keys of the declaration in the declarations of the rule. */
|
|
1665
|
+
readonly at: readonly Key[];
|
|
1666
|
+
/** The reason of the problem. */
|
|
1667
|
+
readonly problem: string;
|
|
1668
|
+
};
|
|
1579
1669
|
/** The type of one document of a check of types. */
|
|
1580
1670
|
interface Typed {
|
|
1581
1671
|
/** The keys from the root document to the document. */
|
|
@@ -1623,9 +1713,12 @@ interface DocFacts {
|
|
|
1623
1713
|
* here. The roots that a kind declares in `reads` are here too, each one at the place of its document.
|
|
1624
1714
|
*/
|
|
1625
1715
|
readonly reads: readonly StaticRead[];
|
|
1626
|
-
/** `"run"` when one kind of the document is on the run side (FACTS.SIDE). */
|
|
1716
|
+
/** `"run"` when one kind of the document is on the run side for the verb of the facts (FACTS.SIDE, FACTS.VERB-SIDE). */
|
|
1627
1717
|
readonly side: Side;
|
|
1628
|
-
/**
|
|
1718
|
+
/**
|
|
1719
|
+
* The kinds of the effects that the contracts declare for the verb of the facts, as texts with dots, each one time
|
|
1720
|
+
* (FACTS.EFFECTS, FACTS.VERB-EFFECTS).
|
|
1721
|
+
*/
|
|
1629
1722
|
readonly effects: readonly string[];
|
|
1630
1723
|
/**
|
|
1631
1724
|
* `true` when each kind of the document declares `pure`, and the document has no effect and is not volatile. Then
|
|
@@ -1642,8 +1735,10 @@ interface FactsOptions {
|
|
|
1642
1735
|
/** The type of a bare root value. */
|
|
1643
1736
|
readonly declaredType?: string;
|
|
1644
1737
|
/**
|
|
1645
|
-
* The verb whose evaluators the facts describe, as in `prepare`. The default is `eval`. The
|
|
1646
|
-
*
|
|
1738
|
+
* The verb whose evaluators the facts describe, as in `prepare`. The default is `eval`. The marks `pure`,
|
|
1739
|
+
* `volatile` and `lazy` of a contract describe the code of `eval` only. For another verb, only the hook `facts`
|
|
1740
|
+
* describes the code (FACTS.VERB). The side and the effects come from the entry of the verb in `verbEffects`
|
|
1741
|
+
* (FACTS.VERB-EFFECTS, D111).
|
|
1647
1742
|
*/
|
|
1648
1743
|
readonly verb?: string;
|
|
1649
1744
|
/**
|
|
@@ -1664,7 +1759,7 @@ interface FactsOptions {
|
|
|
1664
1759
|
* declares `reads` adds a read of each of its roots at each document of the kind. The first document of a tree
|
|
1665
1760
|
* kind also gets the lazy reads of the equations of its kind (FACTS.EQUATIONS). A read from `self` or from a name
|
|
1666
1761
|
* of a rung is not one of them, because it is not free (READS.EQUATION).
|
|
1667
|
-
* - `side` and `effects`: from the contract of each kind.
|
|
1762
|
+
* - `side` and `effects`: from the contract of each kind, for the verb of the facts.
|
|
1668
1763
|
* - `pure`: each kind declares `pure`, also in an equation, and the document has no effect and is not volatile.
|
|
1669
1764
|
* - `volatile`: a kind, an operation or a step document declares `volatile`, or the host marks a read.
|
|
1670
1765
|
*
|
|
@@ -1673,9 +1768,11 @@ interface FactsOptions {
|
|
|
1673
1768
|
* entry. Thus a document with an own entry for another evaluator is not pure, and each of its parts is lazy. The
|
|
1674
1769
|
* hook can still answer for that evaluator.
|
|
1675
1770
|
*
|
|
1676
|
-
* The option `verb` names the verb whose code the facts describe (FACTS.VERB).
|
|
1677
|
-
* `eval`, thus the rule of an own entry applies to each document for another verb.
|
|
1678
|
-
*
|
|
1771
|
+
* The option `verb` names the verb whose code the facts describe (FACTS.VERB). The marks of a contract describe the
|
|
1772
|
+
* code of `eval`, thus the rule of an own entry applies to each document for another verb. For another verb, the
|
|
1773
|
+
* effects are the effects that the entry of the verb in `verbEffects` declares (FACTS.VERB-EFFECTS, D111). A kind is
|
|
1774
|
+
* on the run side for that verb when its entry declares an effect (FACTS.VERB-SIDE). A kind without an entry for the
|
|
1775
|
+
* verb adds no effect, as in `check` (FACTS.VERB-UNDECLARED). Its code is still not pure without an answer of the hook.
|
|
1679
1776
|
*
|
|
1680
1777
|
* A read is one resolution of its path. A reference that the resolution reaches and follows is a part of that read
|
|
1681
1778
|
* (DEREF.COLLAPSE), not a separate read. The facts depend only on the document and the machine. Thus a host computes
|
|
@@ -2865,6 +2962,53 @@ interface AttributeTrace {
|
|
|
2865
2962
|
/** The rung that answered. It is `undefined` when no rung answered. */
|
|
2866
2963
|
readonly by?: AttributeRung;
|
|
2867
2964
|
}
|
|
2965
|
+
/** The answer of the ladder for one attribute of one node (TREE.CELL, D108). */
|
|
2966
|
+
interface AttributeAnswer {
|
|
2967
|
+
/** The result of the attribute. It is `undefined` when no rung answered. */
|
|
2968
|
+
readonly result: Result | undefined;
|
|
2969
|
+
/** The rung that answered. It is `undefined` when no rung answered. */
|
|
2970
|
+
readonly by: AttributeRung | undefined;
|
|
2971
|
+
}
|
|
2972
|
+
/**
|
|
2973
|
+
* This function gives the memo cell of one attribute of one node, for a host that keeps its cells between evaluations
|
|
2974
|
+
* (TREE.CELL, D108). The kit uses it at each demand of an attribute in an evaluation.
|
|
2975
|
+
*
|
|
2976
|
+
* The array `place` is one object for each node of a plan in its scope. It stays the same across the evaluations of
|
|
2977
|
+
* that plan. The scope of a node is the node around it, or the demand that made its tree (TREE.CELL-DOCUMENT,
|
|
2978
|
+
* D115). Thus a cached plan, for example the plan of an equation, gives a new array for the nodes of each document.
|
|
2979
|
+
*
|
|
2980
|
+
* A new plan gives new arrays. Thus a host keeps its cells by the identity of `place` and by `attribute`.
|
|
2981
|
+
* A host that keeps its cells by the keys of `place` can give the answer of another node or a stale answer.
|
|
2982
|
+
*
|
|
2983
|
+
* The function gives the answer of `compute`, or a kept answer. A host with signals gives a computed signal: a change
|
|
2984
|
+
* of its store then makes only the attributes that read the store compute again. Each demand gives a new `compute`, and
|
|
2985
|
+
* a cell that computes again uses the last one.
|
|
2986
|
+
*
|
|
2987
|
+
* The kit marks an attribute in evaluation before it uses the cell. Thus a cycle gives `#CYCLE!` before it reaches the
|
|
2988
|
+
* cell again. An exception of the function that `compute` did not throw gives `#CYCLE!` with the chain of the demands.
|
|
2989
|
+
*
|
|
2990
|
+
* @param place - The key of the node. Its items are the keys from the root document to the document of the node.
|
|
2991
|
+
* @param attribute - The name of the attribute.
|
|
2992
|
+
* @param compute - The function that visits the rungs of the ladder.
|
|
2993
|
+
* @returns The answer.
|
|
2994
|
+
*/
|
|
2995
|
+
type AttributeCell = (place: readonly Key[], attribute: string, compute: () => AttributeAnswer) => AttributeAnswer;
|
|
2996
|
+
/** The options of the tree kit (D108). */
|
|
2997
|
+
interface TreeOptions {
|
|
2998
|
+
/**
|
|
2999
|
+
* The memo cells of the host (TREE.CELL). The default is a plain memo for each node and attribute, for one
|
|
3000
|
+
* evaluation (TREE.MEMO).
|
|
3001
|
+
*/
|
|
3002
|
+
readonly cell?: AttributeCell;
|
|
3003
|
+
}
|
|
3004
|
+
/**
|
|
3005
|
+
* This function gives the code of the kind of a node of the decorated tree, with the options of the host. A host puts
|
|
3006
|
+
* the code at the name `tree.node` of its machine. Without a cell, the code is the standard code.
|
|
3007
|
+
*
|
|
3008
|
+
* @param options - The options, for example the memo cells of the host.
|
|
3009
|
+
* @returns The code.
|
|
3010
|
+
*/
|
|
3011
|
+
export declare function treeNodeEvaluator(options?: TreeOptions): Evaluator;
|
|
2868
3012
|
/**
|
|
2869
3013
|
* This function gives the record of the demand of an attribute of a node of the decorated tree (TREE.RUNGS). The
|
|
2870
3014
|
* record holds the rungs that the demand visited, and the rung that answered. An explorer draws the ladder with it.
|
|
@@ -3253,7 +3397,8 @@ export declare function decodeDomain(data: Json, domains: Domains): Result;
|
|
|
3253
3397
|
*
|
|
3254
3398
|
* - A value that JSON writes exactly stays as it is. A literal with the shape of an envelope goes into `lit`.
|
|
3255
3399
|
* - `NaN`, an infinity and `-0` become `ext.number`, and `undefined` becomes `ext.undefined`.
|
|
3256
|
-
* - A member of a domain with a codec becomes `ext.domain`. The
|
|
3400
|
+
* - A member of a domain with a codec becomes `ext.domain`. The codec of a domain under another domain comes first
|
|
3401
|
+
* (EXT.SPECIFIC, D109). The order of the names decides between unrelated domains.
|
|
3257
3402
|
* - A list or a plain record with such a value becomes the construct `list` or `record`.
|
|
3258
3403
|
*
|
|
3259
3404
|
* @param machine - The machine, or only its domains.
|
|
@@ -3656,7 +3801,38 @@ type ReadsCheck = {
|
|
|
3656
3801
|
readonly read: Read;
|
|
3657
3802
|
/** What the path of that read reaches in the new context. */
|
|
3658
3803
|
readonly now: Result;
|
|
3804
|
+
/**
|
|
3805
|
+
* `true` when the read reaches the same thing by `sameResult`, but the print of that thing changed
|
|
3806
|
+
* (READS.IN-PLACE). Only the option `prints` gives this mark.
|
|
3807
|
+
*/
|
|
3808
|
+
readonly inPlace?: true;
|
|
3659
3809
|
};
|
|
3810
|
+
/** The options of `printReads` (READS.IN-PLACE, D112). */
|
|
3811
|
+
interface PrintOptions {
|
|
3812
|
+
/**
|
|
3813
|
+
* The most entries in the print of one value. Each value, each field name and each mark counts as one entry. A
|
|
3814
|
+
* larger value gets no print, and `verifyReads` then gives its read as changed. The default is 10000.
|
|
3815
|
+
*/
|
|
3816
|
+
readonly limit?: number;
|
|
3817
|
+
/**
|
|
3818
|
+
* The stamp of the host for an object, for example the version of a host thing. A stamp other than `undefined`
|
|
3819
|
+
* takes the place of the fields of that object in the print. A stamp compares with `Object.is`.
|
|
3820
|
+
*
|
|
3821
|
+
* @param value - An object of the value of a read.
|
|
3822
|
+
* @returns The stamp, or `undefined` for the walk of the fields.
|
|
3823
|
+
*/
|
|
3824
|
+
readonly stamp?: (value: object) => unknown;
|
|
3825
|
+
}
|
|
3826
|
+
/**
|
|
3827
|
+
* The prints of a list of reads, from `printReads`. `verifyReads` takes them with the option `prints`. The prints
|
|
3828
|
+
* keep their options, thus the verification walks each value with the same rules.
|
|
3829
|
+
*/
|
|
3830
|
+
interface ReadPrints {
|
|
3831
|
+
/** The print of each read, at the index of the read. A read without an object in its value has no print. */
|
|
3832
|
+
readonly prints: readonly (readonly unknown[] | undefined)[];
|
|
3833
|
+
/** The options of the prints. */
|
|
3834
|
+
readonly options: PrintOptions;
|
|
3835
|
+
}
|
|
3660
3836
|
/** The options of `verifyReads`. */
|
|
3661
3837
|
interface VerifyOptions {
|
|
3662
3838
|
/**
|
|
@@ -3668,7 +3844,31 @@ interface VerifyOptions {
|
|
|
3668
3844
|
* @returns `true` when the two things are the same, or `undefined` for the rules of `sameResult`.
|
|
3669
3845
|
*/
|
|
3670
3846
|
readonly equal?: (a: unknown, b: unknown) => boolean | undefined;
|
|
3847
|
+
/**
|
|
3848
|
+
* The prints of the reads, from `printReads` after the evaluation (READS.IN-PLACE). When the prints are given, a
|
|
3849
|
+
* read that reaches the same thing also compares its print. Thus a change in place of a host value is a changed
|
|
3850
|
+
* read. Without the prints, the verification does no work for them.
|
|
3851
|
+
*/
|
|
3852
|
+
readonly prints?: ReadPrints;
|
|
3671
3853
|
}
|
|
3854
|
+
/**
|
|
3855
|
+
* This function gives the prints of the values of a list of reads (READS.IN-PLACE, D112). A host starts it after
|
|
3856
|
+
* the evaluation, and it gives the prints to `verifyReads` with the option `prints`.
|
|
3857
|
+
*
|
|
3858
|
+
* - The print of a value walks its lists, its plain records and the own enumerable fields of each other object. A
|
|
3859
|
+
* date adds its time, and a map or a set adds its entries.
|
|
3860
|
+
* - A read that is not free, a read that reached an error and a read with a primitive value get no print.
|
|
3861
|
+
* - A cycle ends, because the walk visits each object one time.
|
|
3862
|
+
* - A value with more entries than the limit gets no print. `verifyReads` then gives that read as changed.
|
|
3863
|
+
*
|
|
3864
|
+
* The walk does not see the state in a closure or a private field. It does not see a field with a symbol name, a
|
|
3865
|
+
* field that is not enumerable or the value of a getter. A host gives a stamp for such an object, for example its version.
|
|
3866
|
+
*
|
|
3867
|
+
* @param reads - The reads of the evaluation, from the option `reads`.
|
|
3868
|
+
* @param options - The limit and the stamp of the host.
|
|
3869
|
+
* @returns The prints, for the option `prints` of `verifyReads`.
|
|
3870
|
+
*/
|
|
3871
|
+
export declare function printReads(reads: readonly Read[], options?: PrintOptions): ReadPrints;
|
|
3672
3872
|
/**
|
|
3673
3873
|
* This function tells if an old result stays valid in a new context (READS.VERIFY, D26). It resolves the path of
|
|
3674
3874
|
* each free read again, in the order of the list, and it compares what the path reaches with `sameResult`. It stops at
|
|
@@ -3684,12 +3884,13 @@ interface VerifyOptions {
|
|
|
3684
3884
|
* extension of a profile can read outside `resolve`. The schedule asks `factsOf` first.
|
|
3685
3885
|
*
|
|
3686
3886
|
* The values of the context must not change in place, as PLAN.CACHE says for the documents. A value that changed in
|
|
3687
|
-
* place is the same object, thus
|
|
3887
|
+
* place is the same object, thus `sameResult` cannot see the change. The option `prints` finds such a change
|
|
3888
|
+
* (READS.IN-PLACE). The prints come from `printReads` after the evaluation, and the answer then has the mark `inPlace`.
|
|
3688
3889
|
*
|
|
3689
3890
|
* @param target - The machine of the evaluation, or its plan.
|
|
3690
3891
|
* @param reads - The reads of the evaluation, from the option `reads`.
|
|
3691
3892
|
* @param context - The new context.
|
|
3692
|
-
* @param options - The rule of the host for two things.
|
|
3893
|
+
* @param options - The rule of the host for two things, and the prints of the reads.
|
|
3693
3894
|
* @returns `{ same: true }` when each free read reaches the same thing, or else the first changed read.
|
|
3694
3895
|
*/
|
|
3695
3896
|
export declare function verifyReads(target: Machine | Plan, reads: readonly Read[], context: Context, options?: VerifyOptions): ReadsCheck;
|
|
@@ -3723,6 +3924,11 @@ interface DurableOptions {
|
|
|
3723
3924
|
readonly volatile?: FactsOptions["volatile"];
|
|
3724
3925
|
/** The rule of the host for two things, as in `verifyReads`. */
|
|
3725
3926
|
readonly equal?: VerifyOptions["equal"];
|
|
3927
|
+
/**
|
|
3928
|
+
* The check of changes in place (READS.IN-PLACE, D112). With it, the cache keeps the prints of the reads of each
|
|
3929
|
+
* pure document, and a verification compares them. `true` gives the default limit. Without it, the cache makes no prints.
|
|
3930
|
+
*/
|
|
3931
|
+
readonly inPlace?: true | PrintOptions;
|
|
3726
3932
|
}
|
|
3727
3933
|
/**
|
|
3728
3934
|
* A cache of plans, facts and results with two levels of durability (D30). A host or a schedule tells the cache each
|
|
@@ -3793,10 +3999,11 @@ interface Durable {
|
|
|
3793
3999
|
* and each result (DURABLE.STRUCTURE).
|
|
3794
4000
|
*
|
|
3795
4001
|
* The host keeps two promises. In one data epoch, the context of a key gives the same data. The values of a
|
|
3796
|
-
* context and the documents do not change in place, as PLAN.CACHE and `verifyReads` say.
|
|
4002
|
+
* context and the documents do not change in place, as PLAN.CACHE and `verifyReads` say. The option `inPlace`
|
|
4003
|
+
* finds a change in place of a value that a pure document read (READS.IN-PLACE).
|
|
3797
4004
|
*
|
|
3798
4005
|
* @param machine - The machine of the first structure epoch.
|
|
3799
|
-
* @param options - The type of a bare root value, the verb, the volatile reads
|
|
4006
|
+
* @param options - The type of a bare root value, the verb, the volatile reads, the rule of the host and the check of changes in place.
|
|
3800
4007
|
* @returns The cache.
|
|
3801
4008
|
*/
|
|
3802
4009
|
export declare function durable(machine: Machine, options?: DurableOptions): Durable;
|
|
@@ -4312,6 +4519,86 @@ export declare function necessary<Id>(graph: NodeGraph<Id>, observed: Iterable<I
|
|
|
4312
4519
|
* @returns The cycles, deepest first.
|
|
4313
4520
|
*/
|
|
4314
4521
|
export declare function cycles<Id>(graph: NodeGraph<Id>): readonly GraphCycle<Id>[];
|
|
4522
|
+
/** One vertex of the graph of attribute instances: one attribute of one node of the decorated tree (D107). */
|
|
4523
|
+
interface AttributeVertex {
|
|
4524
|
+
/** The name of the vertex: the JSON text of the place of the node with the name of the attribute after it. */
|
|
4525
|
+
readonly id: string;
|
|
4526
|
+
/** The place of the document of the node. */
|
|
4527
|
+
readonly place: readonly Key[];
|
|
4528
|
+
readonly attribute: string;
|
|
4529
|
+
/** The text of the type of the node. */
|
|
4530
|
+
readonly type: string;
|
|
4531
|
+
/** `true` when the kind of the node declares the attribute `circular` (TREE.CIRCULAR-CHECK). Else the field is absent. */
|
|
4532
|
+
readonly circular?: true;
|
|
4533
|
+
}
|
|
4534
|
+
/** One read of an attribute by the code of another attribute (D107). */
|
|
4535
|
+
interface AttributeEdge {
|
|
4536
|
+
/** The vertex that the read reaches. It is `undefined` when only the run knows it: the read depends on a value. */
|
|
4537
|
+
readonly from: string | undefined;
|
|
4538
|
+
/** The vertex whose code makes the read. */
|
|
4539
|
+
readonly to: string;
|
|
4540
|
+
/** `true` when only a lazy part reaches the read, or when an earlier rung can answer first (FACTS.LAZY). */
|
|
4541
|
+
readonly lazy: boolean;
|
|
4542
|
+
/** The place of the reference document. A read of a rung has the place of the node. */
|
|
4543
|
+
readonly place: readonly Key[];
|
|
4544
|
+
}
|
|
4545
|
+
/** One cycle of the graph of attribute instances (D107). */
|
|
4546
|
+
interface AttributeCycle {
|
|
4547
|
+
/** The vertices of the cycle, in the order of the graph. */
|
|
4548
|
+
readonly vertices: readonly string[];
|
|
4549
|
+
/** `true` when the eager reads with a known source close the cycle (GRAPH.CYCLE). */
|
|
4550
|
+
readonly certain: boolean;
|
|
4551
|
+
/**
|
|
4552
|
+
* `true` when each attribute of the cycle is circular: the run gives its fixed point, thus `check` gives no issue
|
|
4553
|
+
* (TREE.CIRCULAR-CHECK). Else the field is absent.
|
|
4554
|
+
*/
|
|
4555
|
+
readonly circular?: true;
|
|
4556
|
+
}
|
|
4557
|
+
/** The graph of attribute instances of a document (TREE.GRAPH). */
|
|
4558
|
+
interface AttributeGraph {
|
|
4559
|
+
/** The vertices, by name, in the order of the document. */
|
|
4560
|
+
readonly vertices: ReadonlyMap<string, AttributeVertex>;
|
|
4561
|
+
/** The edges, in the order of the code of each vertex. */
|
|
4562
|
+
readonly edges: readonly AttributeEdge[];
|
|
4563
|
+
/** The graph for the analysis of `graph.ts`: each vertex with the vertices that it reads. */
|
|
4564
|
+
readonly graph: NodeGraph<string>;
|
|
4565
|
+
/** The edges with an unknown source. The check of the cycles is not complete for them: only the run knows them. */
|
|
4566
|
+
readonly unknown: readonly AttributeEdge[];
|
|
4567
|
+
/** The cycles of the graph, deepest first. */
|
|
4568
|
+
readonly cycles: readonly AttributeCycle[];
|
|
4569
|
+
}
|
|
4570
|
+
/** The options of `attributeGraph`. */
|
|
4571
|
+
interface AttributeGraphOptions {
|
|
4572
|
+
/** The type of a bare root value. */
|
|
4573
|
+
readonly declaredType?: string;
|
|
4574
|
+
}
|
|
4575
|
+
/**
|
|
4576
|
+
* This function gives the name of a vertex of the graph of attribute instances. The name is the JSON text of the
|
|
4577
|
+
* place of the node, with the name of the attribute after it.
|
|
4578
|
+
*
|
|
4579
|
+
* @param place - The place of the document of the node.
|
|
4580
|
+
* @param attribute - The name of the attribute.
|
|
4581
|
+
* @returns The name of the vertex.
|
|
4582
|
+
*/
|
|
4583
|
+
export declare function attributeVertexId(place: readonly Key[], attribute: string): string;
|
|
4584
|
+
/**
|
|
4585
|
+
* This function gives the graph of attribute instances of a document (TREE.GRAPH, R3 P5, D107). It has one vertex for
|
|
4586
|
+
* each attribute of each node of the decorated tree. It has one edge for each read of the code of an attribute.
|
|
4587
|
+
*
|
|
4588
|
+
* - A path from `self` reads the attribute of the node. `self.parent` goes to the parent node.
|
|
4589
|
+
* - The step `nearest` with the key `parent` depends only on the structure, thus it goes to a node of the document.
|
|
4590
|
+
* - The rungs of the ladder read too: `names.prev` of `down` reads the previous sibling, and a fold reads each child.
|
|
4591
|
+
* - A read that depends on the value of an attribute gets an edge with an unknown source.
|
|
4592
|
+
*
|
|
4593
|
+
* The walk is the walk of `check`, with its rules for the self of each document (D106). The evaluator of the kernel
|
|
4594
|
+
* does not use the graph (D3).
|
|
4595
|
+
*
|
|
4596
|
+
* @param machine - The world and the code of the evaluators.
|
|
4597
|
+
* @param doc - The document, as JSON.
|
|
4598
|
+
* @param options - The type of a bare root value.
|
|
4599
|
+
* @returns The vertices, the edges, the graph for the analysis, the reads that only the run knows and the cycles.
|
|
4600
|
+
*/
|
|
4601
|
+
export declare function attributeGraph(machine: Machine, doc: unknown, options?: AttributeGraphOptions): AttributeGraph;
|
|
4315
4602
|
/** One effect of a log: its address, its request and its outcome. */
|
|
4316
4603
|
interface ReplayEntry {
|
|
4317
4604
|
/** The address of the effect (RUN.ADDRESS), for example `1#0` or `all0.1/1#0`. */
|
|
@@ -4601,5 +4888,5 @@ interface SampleOptions {
|
|
|
4601
4888
|
* @returns The type.
|
|
4602
4889
|
*/
|
|
4603
4890
|
export declare function typeFromSamples(values: readonly unknown[], options?: SampleOptions): ValueType;
|
|
4604
|
-
export type { AgreeOptions, AgreeRunOptions, AgreeScheduleOptions, Agreement, Alias, AllOptions, Answer, AskOptions, AttributeDeclaration, AttributeRung, AttributeTrace, Cap, CapsRule, CheckOptions, Classification, Closure, Code, CompileInput, CompiledEvaluator, CompiledPart, CompiledRunner, ConformOptions, ConformProbe, Construct, Context, Part as ContextPart, Definitions, DerefCode, DocFacts, DocParts, DocVisit, Domain, DomainCodec, DomainExtension, Durable, DurableCounts, DurableOptions, Edge, Effect, EffectsOptions, Envelope, Epochs, ErrorCode, EvalError, EvalFn, EvalInput, EvalOptions, EvaluateOptions, Evaluator, ExtFn, FactsOptions, Failed, Finding, FormulaProfile, GenerateOptions, Give, GraphCycle, GraphEdge, GraphNode, GraphOptions, Header, Hop, HopBy, HostThing, Issue, Journal, Json, JsonRecord, KernelCode, Key, Kind, KindFacts, KindSource, LazyOp, LazyRule, Lookup, Machine, MachinePart, MergeConflict, MergePath, NamesSource, Namespace, Navigator, NearestOptions, NodeEdge, NodeGraph, NodeInfo, NodeRunOptions, Obligation, OpFn, OrderProblem, Outcome, ParseResult, Part$1 as Part, PartInfo, Shape as PartShape, PartSlot, PartType, PartsSpec, Perform, Plan, PlanRunOptions, PrepareOptions, Random, Read, ReadsCheck, Recorder, RefUse, ReferenceOptions, ReferenceRunOptions, ReplayCausePartsJson, ReplayEntry, ReplayEntryJson, ReplayErrorJson, ReplayExceptionJson, ReplayLog, ReplayLogJson, ReplayOptions, ReplayPartJson, ReplayPartsJson, ReplayResultJson, ReplaySettle, Resolution, ResolveCode, ResolveOptions, Result, Root, RootTypes, Run, RunCode, RunFn, RunInput, RunOptions, RunPart, Rung, Runner, Runtime, SampleOptions, Schedule, ScheduleAgreement, ScheduleAgreementCounts, ScheduleCounts, ScheduleEngine, ScheduleEngineFactory, ScheduleEngineStart, ScheduleOptions, ScopeRule, Shape$1 as Shape, Side, Signature, Split, StaticRead, Step, StepSpec, Steps, StopSignal, Stored, SyntaxAssoc, SyntaxCalls, SyntaxEnvelopes, SyntaxFixity, SyntaxForm, SyntaxFormArgs, SyntaxHeader, SyntaxIssue, SyntaxLiterals, SyntaxOperator, SyntaxProfile, SyntaxRefPattern, SyntaxRefs, Thing, Tier, TierInput, TierResult, TraceNode, TreeContract, TypeInput, TypeIssue, TypeProblem, TypeReading, TypeRef, TypeRule, Typed, Typing, Use, ValueType, VerbEffects, VerifyOptions, WalkInput, WalkOptions, WalkProblem, WalkResult, Walker, World, WorldEntry, WorldIssue, WorldPart };
|
|
4891
|
+
export type { AgreeOptions, AgreeRunOptions, AgreeScheduleOptions, Agreement, Alias, AllOptions, Answer, AskOptions, AttributeAnswer, AttributeCell, AttributeCycle, AttributeDeclaration, AttributeEdge, AttributeGraph, AttributeGraphOptions, AttributeRung, AttributeTrace, AttributeVertex, Cap, CapsRule, CheckOptions, CircularDeclaration, CircularRule, Classification, Closure, Code, CompileInput, CompiledEvaluator, CompiledPart, CompiledRunner, ConformOptions, ConformProbe, Construct, Context, Part as ContextPart, Declared, Definitions, DerefCode, DocFacts, DocParts, DocVisit, Domain, DomainCodec, DomainExtension, Durable, DurableCounts, DurableOptions, Edge, Effect, EffectsOptions, Envelope, Epochs, ErrorCode, EvalError, EvalFn, EvalInput, EvalOptions, EvaluateOptions, Evaluator, ExtFn, FactsOptions, Failed, Finding, FormulaProfile, GenerateOptions, Give, GraphCycle, GraphEdge, GraphNode, GraphOptions, Header, Hop, HopBy, HostThing, Issue, Journal, Json, JsonRecord, KernelCode, Key, Kind, KindFacts, KindSource, LazyOp, LazyRule, Lookup, Machine, MachinePart, MergeConflict, MergePath, NamesSource, Namespace, Navigator, NearestOptions, NodeEdge, NodeGraph, NodeInfo, NodeRunOptions, Obligation, OpFn, OrderProblem, Outcome, ParseResult, Part$1 as Part, PartInfo, Shape as PartShape, PartSlot, PartType, PartsSpec, Perform, Plan, PlanRunOptions, PrepareOptions, PrintOptions, Random, Read, ReadPrints, ReadsCheck, Recorder, RefUse, ReferenceOptions, ReferenceRunOptions, ReplayCausePartsJson, ReplayEntry, ReplayEntryJson, ReplayErrorJson, ReplayExceptionJson, ReplayLog, ReplayLogJson, ReplayOptions, ReplayPartJson, ReplayPartsJson, ReplayResultJson, ReplaySettle, Resolution, ResolveCode, ResolveOptions, Result, Root, RootTypes, Run, RunCode, RunFn, RunInput, RunOptions, RunPart, Rung, Runner, Runtime, SampleOptions, Schedule, ScheduleAgreement, ScheduleAgreementCounts, ScheduleCounts, ScheduleEngine, ScheduleEngineFactory, ScheduleEngineStart, ScheduleOptions, ScopeRule, Shape$1 as Shape, Side, Signature, Split, StaticRead, Step, StepSpec, Steps, StopSignal, Stored, SyntaxAssoc, SyntaxCalls, SyntaxEnvelopes, SyntaxFixity, SyntaxForm, SyntaxFormArgs, SyntaxHeader, SyntaxIssue, SyntaxLiterals, SyntaxOperator, SyntaxProfile, SyntaxRefPattern, SyntaxRefs, Thing, Tier, TierInput, TierResult, TraceNode, TreeContract, TreeOptions, TypeInput, TypeIssue, TypeProblem, TypeReading, TypeRef, TypeRule, Typed, Typing, Use, ValueType, VerbEffects, VerifyOptions, WalkInput, WalkOptions, WalkProblem, WalkResult, Walker, World, WorldEntry, WorldIssue, WorldOptions, WorldPart };
|
|
4605
4892
|
//# sourceMappingURL=index.d.ts.map
|
package/build/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","names":["Part","Shape"],"sources":["../src/doc.ts","../src/errors.ts","../src/deref.ts","../src/types.ts","../src/world.ts","../src/ladder.ts","../src/static.ts","../src/typing.ts","../src/facts.ts","../src/evaluate.ts","../src/merge.ts","../src/classify.ts","../src/parts.ts","../src/syntax.ts","../src/stdlib.ts","../src/order.ts","../src/context.ts","../src/effects.ts","../src/formula.ts","../src/codec.ts","../src/reference.ts","../src/agree.ts","../src/conform.ts","../src/same.ts","../src/reads.ts","../src/durable.ts","../src/schedule.ts","../src/generate.ts","../src/meaning.ts","../src/graph.ts","../src/replay.ts","../src/providers.ts"],"mappings":";KACY,mDAAmD;YAAmC,cAAA;;;KAGtF;YAAuC,cAAA;;;KAGvC;;;;;;;;;;;KAYA,4BAA4B;WAAmB;WAAsB,gBAAgB;;;;;;KAMrF;;WAED,MAAM;;WAEN,OAAO;;WAEP;;WAEA,MAAM,SAAS;;;qBAIb;;;;;;;;wBASG,SAAS,iBAAiB,SAAS;;;;;;;;wBAanC,MAAM,QAAQ,YAAY,cAAc;;;;;;;wBAUxC,MAAM,iBAAiB,SAAS;;;;;;;;wBAWhC,UAAU,iBAAiB,SAAS;;;;;;;wBAcpC,SAAS,MAAM,mBAAmB;;;;;;;wBAalC,SAAS,MAAM;;;;;;;;;wBAqBf,WAAW,iBAAiB,SAAS,aAAa;;UAUjD;WACN,UAAU;;WAEV,QAAQ,SAAS,eAAe;;;;;;;;;;wBAW3B,OAAO,gBAAgB,4BAA4B;;;;;;;;;wBAqBnD,MAAM,MAAM,SAAS,OAAO,MAAM;WAAmB;WAAwB,MAAM;IAAgC;;;;;;;wBAUnH,OAAO,eAAe,SAAS;;;;;;;wBAU/B,OAAO,KAAK,WAAW;;;;;;;wBAevB,SAAS,iBAAiB;;;;;;;;;;;;;;;;;;wBA+B1B,UAAU,YAAY;;KC5O1B;;KAoBA,YAAY;;;;;;;UAQP;WACN,MAAM;WACN;WACA,iBAAiB;WACjB;;;KAIC,OAAO;WAA0B;WAAmB,OAAO;;WAAiB;WAAoB,OAAO;;;KAGvG;WAAoB;WAAoB,OAAO;;;;;;;;wBAQ3C,GAAG,GAAG,OAAO,IAAI,OAAO;;;;;;;;;wBAYxB,KAAK,MAAM,WAAW,gBAAgB;WAAiB,iBAAiB;WAAgB;IAAyB;;;;;;;;;wBAejH,OAAO,GAAG,QAAQ,OAAO,IAAI,gBAAgB,QAAQ,OAAO;;;;;qBAS/D,gBAAgB;WAClB,OAAO;;;;;;EAOhB,YAAY,OAAO;;;;;;;;wBAaL,gBAAgB;;;;;;;;;wBAmBhB,OAAO,gBAAgB,cAAc;;;;;;;wBAgBrC,SAAS;;;;;qBCrIZ;;;;;UAMI;YACL;;WAED;;;;;;;;EAQT,MAAM,KAAK,MAAM;;;;;;;;;EASjB,KAAK,KAAK;;;;;;EAMV;;;;;;;;EAQA,SAAS,eAAe;aAAmB,OAAO;;;;;;;;;;EASlD,OAAO,KAAK;aAAiB,OAAO;;;;KAI1B;;;;;;;wBAQI,YAAY,iBAAiB,SAAS;;qBAKzC;;KAGD,eAAe;;;;;KAMf,wBAAwB;;;;;;;;;;UAWnB;WACN,MAAM;WACN,OAAO,SAAS;WAChB,OAAO;WACP,OAAO;WACP,eAAe;;;;;;;UAQT;;;;;;;;GAQd,KAAK,UAAU,KAAK,MAAM;;;;;;;;;;WAUlB,OAAO,KAAK,UAAU,KAAK;;;;;;KAO1B;WAAwB;WAAmB,OAAO;;WAAqB;WAAoB;WAAyB,OAAO;;;UAGtH;;WAEN,MAAM;;WAEN,MAAM;WACN,SAAS;;;;;;;;;EASlB,MAAM,OAAO,OAAO,KAAK,MAAM;;;;;;;;;;EAU/B,KAAK,OAAO,OAAO,KAAK;;;;;;;;WAQf,SAAS,KAAK,KAAK,OAAO;;;KAIzB,UAAU,OAAO,cAAc;;;;;;;;;;UAW1B;WACN,OAAO;WACP,SAAS,SAAS,eAAe;WACjC,UAAU,SAAS,eAAe;WAClC;WACA,iBAAiB;WACjB,SAAS,mBAAmB;;;KAI3B;;UAGK;WACN,MAAM;WACN,OAAO;WACP,IAAI;;;KAIH;;KAGA;WACG;WAAmB,OAAO;WAAgB,eAAe;;WACzD;WAAoB,MAAM,cAAc;WAAoB;WAAyB,eAAe;;;UAGlG;;WAEN;;;;;;;;;;;;;;wBAiIK,UAAU,KAAK,WAAW,OAAO,OAAO,KAAK;WAAiB,OAAO;WAAgB,IAAI;;;;;;;;wBA8BzF,MAAM,iBAAiB,SAAS;WAAsB,gBAAgB;;;;;;;;;;wBAoBtE,WAAW,OAAO,QAAQ;;;;;;;wBAe1B,QAAQ,QAAO,QAAQ,WAAgB;;;;;;;;;;;;;;;;;;;;;;;;wBA2NvC,QAAQ,KAAK,WAAW,KAAK,SAAS,0BAA0B,UAAS,iBAAsB;;;;;;;wBA4I/F,aAAa,OAAO;;;;;;;;;;;;;;;KCxuBxB;WAEG,MAAM;;WACN,QAAQ,SAAS,eAAe;WAAsB;WAAuC;;WAC7F,aAAa;WAAsB,IAAI;;WACvC,gBAAgB;;WAChB,cAAc;;;;;;;;;;UAUZ;;;;;;;WAON,KAAK;;WAEL;;WAEA;;;;;;WAMA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ;;;;;;;WAOR;;;;;;WAMA;;;;;;;;;;WAUA;;;;;;;UAQM;;;;;;;WAON,SAAS,mBAAmB;;;;;;;WAO5B,SAAS,MAAM;;;UAIT;WACN,aAAa;WACb;;;;;;qBAOE,aAAa,SAAS,eAAe;;;;;;;;;;;;;;;;;wBA8KlC,OAAO,gBAAgB,MAAM,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAmiB1E,KAAK,OAAO,WAAW,UAAU,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;wBAgH9E,KAAK,GAAG,WAAW,GAAG,WAAW,UAAU,SAAS,eAAe,WAAW;;;;;;;;;;;;;;;wBAkE9E,SAAS,MAAM;;;;;;;;;;wBAyMf,WAAW,eAAe,UAAU,SAAS,eAAe,oBAAoB;;KC7rCpF;;;;;;;;;;;;;;;;;;;;;KAsBA;WACG;;WACA;WAAwB;WAAsB;WAA4B,2BAA2B;WAAmB,SAAS;;WACjI;WAAwB;WAAsB,OAAO;WAAgB;WAA6B,SAAS;;WAC3G;WAAuB;WAAsB,OAAO;WAAgB,SAAS;;WAE7E;WACA,4BAA4B,SAAS,eAAe;WACpD;WACA;WACA,OAAO;WACP;WACA,SAAS;;WAET;WAAwB;WAAsB,SAAS;;WACvD;;WACA;WAA0B;WAA0B;WAAuB;;WAC3E;WAAuB,iBAAiB;;;KAG3C,YAAY;;;;;;;;;;KAWZ;WACG;;WACA,iBAAiB;;WACjB,iBAAiB;;WACjB,iBAAiB;WAAgB;;WACjC;;;;;;UAME;WACN,OAAO;;WAEP,uBAAuB;;WAEvB;;;;;;;;;;;;;KAcC;WACG;WAAuB,wBAAwB;;WAC/C;WAAuB,wBAAwB;;WAC/C;WAAuB,eAAe;WAAgB,wBAAwB;;;;;;;;;;UAU5E;WACN,wBAAwB;WACxB;;;;;;;;;;;;;;;UAgBM;WACN;WACA;WACA,gBAAgB;WAChB,iBAAiB;;;;;;;;;;;;;UAcX;WACN;WACA;aAAkB,MAAM;aAAe,SAAS;;WAChD,UAAU;;;;;;;;;;;;UAaJ;WACN,YAAY,SAAS,eAAe;WACpC,OAAO,SAAS,eAAe;WAC/B,aAAa,SAAS,eAAe;;;;;;;;;wBAUhC,aAAa,MAAM;;;;;;;UAWlB,aAAa;;;;;WAKnB,OAAO,SAAS;;WAEhB,QAAQ;;WAER,iBAAiB;;;;;;;WAOjB,gBAAgB;;WAEhB,OAAO;;;;;;;WAOP;;;;;;;WAOA,cAAc;;;;;WAKd,SAAS;;;;;WAKT,OAAO;;WAEP;;;;;;KAOC,cAAc,SAAS;WAAyD;;;;;;;;;;;;wBAY5E,cAAc,MAAM,MAAM;;UAOzB;WACN,OAAO,SAAS,eAAe;WAC/B,WAAW;;;KAIV;WAAmB;WAAsB,gBAAgB;;;KAGzD,aAAa,OAAO,YAAY;;;;;UAM3B;WACN,OAAO,SAAS,eAAe;;;;;WAK/B,UAAU,SAAS;WACnB,WAAW;;;;;;;;;;;KAYV;WACG;WAAmB,MAAM;WAAe,eAAe;WAAgB;;WACvE;WAAoB;WAA+E,eAAe;;;;;;;;wBAkBjH,OAAO,OAAO,yBAAyB,SAAS;;;;;;;wBAUhD,QAAQ,OAAO,yBAAyB,SAAS;;;;;;;wBAUjD,YAAY,OAAO,yBAAyB,SAAS;;;;;;;;;;;;wBAoBrD,WAAW,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAqDzC,cAAc,SAAS,SAAS,eAAe,eAAe;;;;;;;;wBA8B9D,aAAa,cAAc,MAAM,OAAO;;;;;;;wBAaxC,cAAc;;qBC/ajB;;KAGD,eAAe;;KAGf;;;;;;;;;KAUA;;UAGK;WACN,MAAM;WACN,SAAS;;WAET;;WAEA;;WAEA,SAAS;;;UAIH;WACN;;WAEA;;WAEA,OAAO;;WAEP;WACA,gBAAgB;;;;;;UAOV;WACN,OAAO;WACP,MAAM,SAAS;;;UAIT;;WAEN;;;;;;;;;;wBAeK,OAAO,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAYrC,UAAU,OAAO,OAAO,MAAM,UAAU;;;;;;;;;;;;;;;wBAwDxC,IAAI,OAAO,OAAO,KAAK,QAAQ,cAAc,UAAS,aAAkB;;UCpIvE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,SAAS;;WAET,eAAe;;WAEf,KAAK;;WAEL;;WAEA,OAAO;;WAEP,oBAAoB;;WAEpB;;WAEA,OAAO;;WAEP,OAAO;;WAEP;;;;;WAKA,gBAAgB;;;UAIV;;WAEN,gBAAgB;;WAEhB,aAAa;WACb;WACA;;;UAIM;;WAEN;;WAEA;;WAEA,gBAAgB;;;;;;WAMhB,WAAW,SAAS;;;;;;;;;;;;;;wBAgGf,KAAK,OAAO,OAAO,cAAc,QAAQ,OAAO,4BAA4B,UAAS;;UA0FpF;;WAEN,OAAO;;WAEP,gBAAgB;;WAEhB,aAAa;;WAEb,eAAe;WACf;;WAEA;;WAEA;;;;;;;;;;;;wBAaK,OAAO,OAAO,OAAO,cAAc,UAAS,uBAA4B;;;;;;;;;;;wBAmDxE,QAAQ,OAAO,OAAO,cAAc,SAAS,KAAK,oBAAoB,UAAS;;UAW9E;WACN,MAAM;;WAEN,gBAAgB;WAChB;;WAEA,cAAc;;WAEd,WAAW;;WAEX,QAAQ;;;UAIF;;WAEN;;WAEA;;;;;WAKA,gBAAgB;;;;;;;;;WAShB;;;;;;WAMA;;WAEA,SAAS;;;;;;;;WAQT;;;;;WAKA,YAAY;;;UAIN;;WAEN,MAAM;;WAEN,iBAAiB;;WAEjB,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBA+FZ,MAAM,SAAS,SAAS,cAAc,UAAS,wBAA6B;;;;;;;;;;;;;;;;;;;wBAsB5E,UAAU,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;UAWtE;;WAEN;;WAEA,eAAe;;WAEf;;WAEA;WACA;;;;;;;;;;;;;;;wBAqBK,WAAW,SAAS,SAAS,oCAAoC;;UCriBhE;;WAEN,mBAAmB;;WAEnB,KAAK;;WAEL,UAAU;;WAEV,0BAA0B;;WAE1B;WACA,SAAS;;;;;;;;EAQlB,OAAO,eAAe,QAAQ;;;;;;;;EAQ9B,SAAS,eAAe;;;;;;;;;;EAUxB,SAAS,eAAe;;;;;;;;;EASxB,SAAS,eAAe,eAAe;;;UAIxB;;WAEN,SAAS;;WAET;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ,KAAK;;;;;;;;;;;UAYP;;WAEN,QAAQ,SAAS,eAAe;;WAEhC,OAAO;;WAEP,QAAQ;;WAER,QAAQ;;;;;;qBAON,WAAW;;UAGP;;WAEN,gBAAgB;WAChB;WACA,WAAW;WACX,QAAQ;;;;;;;UAQF;;;;;;;;;WASN,QAAQ,OAAO,WAAW,eAAe,UAAU;;;;;;;;;WASnD,QAAQ,OAAO,WAAW,SAAS,SAAS,yBAAyB;;;UAI/D;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,MAAM;;WAEN,WAAW;;;;;;;UCrIL;;WAEN,MAAM;;WAEN,eAAe;;;;;WAKf;;WAEA;;WAEA;;WAEA,eAAe;;;;;WAKf,gBAAgB;;WAEhB,aAAa;;;UAIP;;;;;WAKN,gBAAgB;;WAEhB,MAAM;;WAEN;;;;;WAKA;;WAEA;;WAEA;;;UAIM;;WAEN;;;;;WAKA;;;;;;;;WAQA,YAAY,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAyGb,QAAQ,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;;;;;;wBC7IrE,YAAY,QAAO,SAAS,0BAA+B,gBAAe,OAAY,OAAM,QAAe;;;;;;;wBAU3G,QAAQ,MAAM;;;;;;;;;;wBAad,QAAQ,eAAe,OAAO,MAAM;;;;;;;;;;wBAiBpC,OAAO,QAAQ,SAAS,MAAM,UAAU;;;;;;;;;wBAoBxC,cAAc,YAAY,OAAO,YAAY,iBAAiB;;;;;;;;;;wBAkC9D,SAAS,gBAAgB,wBAAwB,eAAe,OAAO,eAAe,iBAAiB;;;;;;KAqI3G,QAAQ,UAAU,kBAAkB;;UAG/B;;WAEN;;WAEA;;WAEA,eAAe;WACf;;WAEA;;WAEA;;WAEA,gBAAgB;;WAEhB,SAAS;;;;;;;WAOT;;;;;WAKA,UAAU;;;;;;;UAQJ;;WAEN;;;;;WAKA,SAAS;;;;;;WAMT;;;;;WAKA;;WAEA,gBAAgB;;;;;;;KA4Df,WAAW,QAAQ;;qBAGlB;;;;;UAMI;;;;;;;WAON,WAAW,aAAa;;;;;;;;;;WAUxB,QAAQ,aAAa,4BAA4B;;;;;;UAuD3C;WACN,SAAS;;WAET;;;;;;;;;EAST,QAAQ,KAAK,SAAS,0BAA0B,UAAU,iBAAiB;;;;;;;;;;;EAW3E,OAAO,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;;;;EAW1E,UAAU,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;EAQ7E,IAAI,sBAAsB,UAAU,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;;;EAUhG,cAAc,UAAU,SAAS,uBAAuB;;;;;;;;;UAUzC;WACN;WACA;;;;;;;KAQC,QAAQ,KAAK,SAAS,IAAI,YAAY;;;;;KAMtC,WAAW,KAAK,SAAS,IAAI,YAAY;;UAGpC;;WAEN;;WAEA,eAAe;;WAEf;;WAEA,MAAM;;WAEN,KAAK;;;UAIC;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgB;;WAEhB,gBAAgB;WAChB,SAAS;;;;;;;;EAQlB,KAAK;;WAEI;;;;;;UAOMA;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgBA;;WAEhB,SAAS;;WAET,gBAAgB;;WAEhB,UAAU;;WAEV;;;;;;;;EAQT,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;EAQrC,KAAK;;;UAIU;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;WACN;WACA,mBAAmB;WACnB,KAAK;;WAEL;WACA,MAAM;WACN,gBAAgB;WAChB,SAAS;WACT,gBAAgB;;WAEhB,UAAU;EACnB,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;;EASrC,IAAI,gBAAgB,WAAW,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;EAQ3F,KAAK;;;KAIK,UAAU,OAAO,cAAc;;UAG1B;;;;;;;WAON,UAAU,OAAO,iBAAiB;;;;;WAKlC,OAAO;;;KAIN,YAAY,SAAS;;KAGrB,SAAS,OAAO,aAAa;;UAGxB;;;;;;;WAON,aAAa,OAAO,iBAAiB;;;;;;KAOpC,SAAS,QAAQ;;;;;;;;;;;UAYZ,gBAAgB;WACtB,YAAY,SAAS,eAAe;;WAEpC,UAAU,SAAS,eAAe;WAClC;WACA,WAAW,eAAe,OAAO,eAAe,OAAO,SAAS;;;;;;;;;;WAUhE,SAAS,eAAe,OAAO;;;;;;WAM/B,UAAU,SAAS,eAAe;;;;;;;;;;WAUlC,SAAS,eAAe,OAAO,iBAAiB;;;UAI1C;WACN;;WAEA;;WAEA,KAAK;;WAEL;;WAEA,QAAQ;WACR,MAAM;;WAEN;;WAEA,OAAO,SAAS;;WAEhB,eAAe;;WAEf;;WAEA;;WAEA;WACA,QAAQ;WACR,mBAAmB;;WAEnB;;;UAIM;WACN,QAAQ;WACR,OAAO;WACP,kBAAkB;;WAElB;;;UA2CM;WACN;WACA;EACT,iBAAiB,eAAe,sBAAsB;aAAqB;;;;;;;UAO5D;;WAEN,UAAU;;WAEV,SAAS;;;;;WAKT,QAAQ;;;UAIF,mBAAmB;;WAEzB;;WAEA;;;UAIM;;WAEN,UAAU;;;;;WAKV,UAAU;;;;;WAKV,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA,UAAU;;WAEV,QAAQ;;;UAylBF;;WAEN;;WAEA;;;;;WAKA;;;;;WAKA;;;;;;;;;WASA;aAAmB,QAAQ,SAAS;;;;UAI9B;WACN,SAAS;;WAET;;WAEA,MAAM;;;;;;;;;EASf,SAAS,UAAU,SAAS,UAAU,cAAc;;;;;;;;EAQpD,IAAI,UAAU,SAAS,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;;;wBA6vB5C,QAAQ,SAAS,SAAS,cAAc,UAAS,iBAAsB;;;;;;;;;wBA4EvE,QAAQ,SAAS,SAAS,UAAS,kBAAuB,iBAAiB;;;;;;;;;;;;;;;;;wBA8C3E,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,mBAAmB,kBAAkB;;;;;;;;;;;;wBAyB1G,IAAI,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,aAAkB,QAAQ;;;;;;;;wBAmB/G,OAAO,OAAO,WAAW,eAAe,QAAQ;;;;;;;wBAqBhD,QAAQ,OAAO,qBAAqB;;;;;;;;wBAkBpC,SAAS,OAAO,qBAAqB;;KCp/EzC,qBAAqB;;;;;UAMhB;WACN,QAAQ,SAAS,eAAe;WAChC,WAAW,SAAS;WACpB,WAAW;WACX,oBAAoB;;;;;;UAOd,oBAAoB,KAAK,QAAQ;WACvC,QAAQ;WACR,oBAAoB;;;;;;UAOd;WACN,MAAM;WACN;WACA;;;qBAIE,mBAAmB;WACrB,oBAAoB;;;;;;EAO7B,YAAY,oBAAoB;;;UA+DjB;;WAEN;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC;;;;;;;;;;;;;;;;;;;;wBAqBK,aAAa,cAAc,MAAM,mBAAmB,MAAM,YAAY;;;;;;;;;;;;;;;;;wBAsLtE,eAAe,iBAAiB,cAAc,MAAM,UAAU,gBAAgB;;;;;;;;;;;;;;;;;;;;;wBAuJ9E,iBAAiB,iBAAiB,gBAAgB,MAAM,YAAY,kBAAkB;;;;;;;;;;;;;;wBAyEtF,cAAc,OAAO,OAAO,gBAAgB,cAAc;;;;;;;;;;;;;;;;wBAgC1D,gBAAgB,SAAS,SAAS,gBAAgB,cAAc;;UChkB/DC;WACN;WACA;WACA;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;;;;;;;wBAiBK,SAAS,iBAAiBA,WAAS,OAAO,OAAO;;;;;;;;wBAkBjD,IAAI,OAAO,MAAM,eAAe;;UC9C/B;;WAEN,eAAe;;WAEf;WACA,MAAM;WACN;;WAEA;;WAEA,SAAS;;;KAUR;WAEG;;WAEA,gBAAgB;;WAEhB,MAAM;;;;;;;EAOf,KAAK,GAAG,kBAAkB;;WAEjB;WAAoB;WAAyB,aAAa;;;;;;;;;;wBA4DzD,WAAW,OAAO,mBAAmB,OAAO,OAAO;;;;;;KA8GvD;WAEG;;WAEA,KAAK;;WAEL;;WAEA,MAAM;;WAEN,mBAAmB;;;;;WAKnB,OAAO;;WAEP;WAAoB;WAAyB;;;;;;;;;;;;wBAY5C,QAAQ,OAAO,OAAO,gBAAgB,wBAAwB;;;;;;;;;wBAuB9D,YAAY,eAAe,OAAO,kBAAkB;;KC/PxD;;;;;KAMA;;UAGK;;WAEN;;WAEA,QAAQ;;WAER;;WAEA,QAAQ;;WAER;;;UAIM;;WAEN;;WAEA;;WAEA;aAA6B;aAA4B;;;WAEzD,QAAQ,SAAS;;;;;;;WAOjB,YAAY;;;UAIN;;WAEN;;WAEA;;WAEA;;;UAIM;;WAEN,SAAS;;WAET,OAAO,0BAA0B;;WAEjC,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA;;WAEA,oBAAoB;;;UAId;;;;;WAKN;;WAEA;;;;;WAKA;;WAEA;;;;;;;;;WASA,OAAO;;;;;;WAMP;;;KAIC;;UAGK;;WAEN;;WAEA,iBAAiB;;WAEjB;;;UAIM;;;;;;WAMN;;;;;;;UAQM;;WAEN,qBAAqB;;WAErB,WAAW;;WAEX,OAAO;;WAEP,QAAQ;;WAER,SAAS;;WAET;;;UAIM;;WAEN;;WAEA;;WAEA;;;KAIC;WAAyB;WAAmB,KAAK;;WAAoB;WAAoB,iBAAiB;;;;;;;;qBAQzG,YAAY;;;;;;;;;;wBA8pBT,MAAM,SAAS,eAAe,eAAe;;;;;;;;;;wBAgR7C,MAAM,SAAS,eAAe,eAAe;;;;;;;;;wBAkB7C,aAAa,SAAS,gBAAgB;;;;;qBCnlCzC,WAAW;;;;;;;;;;;;;;qBAsHX,cAAc;;qBA4Dd,gBAAgB,SAAS,eAAe;;KAmDzC;;qBAGC,0BAA0B;;UAGtB;WACN;;WAEA,gBAAgB;;WAEhB,KAAK;;;;;;;;;;wBAuVA,eAAe,MAAM,OAAO,oBAAoB;;;;;;;;;wBAYhD,QAAQ,OAAO,iBAAiB;;UA8B/B;;;;;;;;WAQN,WAAW,MAAM,OAAO,QAAQ;;WAEhC;;;;;WAKA;;;;;;;;;;wBAeK,cAAc,UAAS,iBAAsB;;qBAyBhD,aAAa,SAAS,eAAe;;;;;qBAiBrC,aAAa,SAAS,eAAe;;qBAiDrC,aAAa;;qBAGb;;UCxwBI;WACN;WACA;WACA;;;KAIC,iBAAiB,gBAAgB;;UAG5B;WACN;WACA;;WAEA;;;;;;;;wBASK,WAAW,gBAAgB,sBAAsB;;;;;;;wBAkBjD,UAAU,gBAAgB,sBAAsB;;;;;;;;wBAkBhD,YAAY,gBAAgB,sBAAsB;;;;;;;;;wBAmBlD,eAAe,gBAAgB,YAAY;;;;;;;;wBAiB3C,OAAO,gBAAgB;;qBC5F1B;;KAGD,eAAe;;UAGV;WACN,MAAM;WACN;;WAEA;;WAEA;;;qBAIE,oBAAoB;;;;;;;;;;;KA4CrB;;UAGK;WACN;WACA,OAAO;WACP;;;UAIM;WACN;WACA;WACA,MAAM;WACN;WACA,SAAS;WACT,MAAM,SAAS,OAAO,MAAM;;;qBAM1B,qBAAqB;;UCvEjB;;WAEN;;;;;;WAMA,gBAAgB;;;;;;;;;;;;;;;;;;;;wBAmDX,UAAU,SAAS,SAAS,cAAc,UAAS;;;;;;;;;;;;;;;wBA0BnD,YAAY,SAAS,SAAS,mBAAmB,OAAO,eAAe,UAAS,KAAK,mCAAwC;;KCxFjI,WAAW;;;;;KAMX,UAAU,sBAAsB,cAAc;;;;;KAM9C,SAAS,MAAM,MAAM,SAAS,SAAS,UAAU,SAAS,eAAe,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAoCjF;WACN,MAAM,SAAS,eAAe,WAAW,iBAAiB;WAC1D,OAAO,SAAS,eAAe;WAC/B,MAAM,SAAS,eAAe;WAC9B,WAAW,SAAS,eAAe;WACnC,UAAU;WACV,YAAY;WACZ;WACA;WACA,QAAQ,OAAO;WACf,WAAW;WACX,SAAS,gBAAgB,eAAe;WACxC,WAAW,iBAAiB,gBAAgB;WAC5C;WACA;WACA;WACA,OAAO,SAAS,eAAe,qBAAqB,kBAAkB,iBAAiB,qBAAqB;;;;;;;UAQtG;;WAEN,iBAAiB;;WAEjB,OAAO;;WAEP,IAAI;;;qBAOF;WACC,OAAgB;EAA5B,YAAY,OAAgB;;cAGxB;;KAGM,eAAe;YAAoD;aAAqB;;;;;;;;;wBAQpF,UAAU,iBAAiB,SAAS;;;;;qBAQvC,SAAS,SAAS,eAAe;;wBAa9B,SAAS;;;;;;;wBA4CT,gBAAgB,SAAS,eAAe;;;;;;;;;;;wBA6WxC,kBAAkB,UAAS,iBAAsB,SAAS,eAAe;;;;;;;;;;;;;wBA6ezE,aAAa,UAAS,kBAAuB,eAAe,OAAO;;;;;;;;;;;;;;;wBAqDnE,aAAa,UAAS,kBAAuB,eAAe,OAAO,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;wBA8CpF,eAAe,UAAS,gBAAqB,OAAM,cAAmB;;KClmCjF,UAAU,SAAS,eAAe;;;;;;;;;;wBAmBvB,aAAa,MAAM,MAAM,SAAS,UAAU;;;;;;;;;;;;;;;wBAkI5C,YAAY,SAAS,KAAK,qBAAqB,iBAAiB;;;;;;;;;wBAqBhE,YAAY,SAAS,SAAS,eAAe;;;;;UC5I5C;WACN,aAAa,SAAS,eAAe;WACrC,UAAU,SAAS,eAAe;;;UAI5B;;WAEN;;WAEA,cAAc;;WAEd,UAAU;;WAEV,UAAU;;;;;WAKV;;;;;;WAMA,QAAQ;;;UAIF,4BAA4B;;;;;WAKlC,UAAU;;WAEV,SAAS;;;;;;;;;;;;;;;;wBA6hBJ,UAAU,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,mBAAwB;;;;;;;;;;;;;;;;wBAiC7G,aAAa,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,sBAA2B,QAAQ;;;;;qBAmV9H,iBAAiB;;;;;;;;;wBA2Bd,mBAAmB,UAAS,iBAAsB;;;;;;;;;;;;;KCt+BtD;;UAGK;WACN,QAAQ;WACR,mBAAmB;;;UAIb;;WAEN,UAAU;;WAEV;;;UAIM;;WAEN;;;;;;WAMA;;WAEA,cAAc;;;;;WAKd,iBAAiB,QAAQ;;;;;;;;;WASzB,SAAS,cAAc,SAAS,SAAS,OAAO,cAAc,SAAS;;;;;WAKvE,UAAU;;;;;;;;WAQV,SAAS,YAAY;;WAErB;;;;;;;;;WASA;;;KAOC;WAEG;WACA,QAAQ;WACR,kBAAkB;;;;;WAKlB,iBAAiB;;WAGjB;WACA,MAAM;;WAEN,MAAM;;WAEN,OAAO;;WAEP;;;;;;;;;;;;;;;;;;;;wBAqBC,UAAU,YAAY,YAAY,SAAS,YAAY;;;;;;;;;;;;;wBAiIvD,MAAM,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,eAAoB;;UAoEpG,wBAAwB,KAAK;;;;;WAKnC,UAAU;;;;;;;;;;;;;;;;;;;;;;;wBA+IC,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,kBAAuB,QAAQ;;;;;;;;;;;;;;;;;;;;KC5Z7H;;UAGK;;WAEN;;WAEA,KAAK;;WAEL,SAAS,SAAS,eAAe;;WAEjC;;WAEA,eAAe;;WAEf;;;UAIM;WACN,YAAY;;WAEZ;WACA,OAAO;;;UAID;;;;;;WAMN;;;;;WAKA,iBAAiB;;;;;WAKjB,SAAS,SAAS,wBAAwB;;;;;WAK1C,mBAAmB;;;;;WAKnB,cAAc;;WAEd,gBAAgB;;WAEhB,QAAQ,SAAS;;WAEjB;;WAEA;;WAEA,UAAU;;;;;;;;WAQV,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;;;wBAu8BhB,SAAS,SAAS,SAAS,cAAc,UAAS,0BAA+B;;;;;;;;;;;;;;;;;;;;;wBCvjCjF,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,SAAS,YAAY;;KCV5E;WACG;;WAEA;;WAEA;;WAEA,MAAM;;WAEN,KAAK;;;UAIH;;;;;;;;;WASN,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;wBAoDhB,YAAY,QAAQ,UAAU,MAAM,gBAAgB,QAAQ,SAAS,SAAS,UAAS,gBAAqB;;UC3E3G;;WAEN;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA,WAAW;;WAEX,QAAQ;;;;;;UAOF;;WAEN,SAAS;;WAET,QAAQ;;WAER,QAAQ;;;;;;;;EAQjB,KAAK,eAAe;;;;;;;EAOpB,MAAM,eAAe;;;;;;;;;;;;;;EAcrB,SAAS,cAAc,cAAc,SAAS,UAAU;;EAExD;;;;;;;EAOA,gBAAgB,UAAU;;;;;;EAM1B,OAAO;;;;;;;;;;;;;;;;;;;;;wBA8DO,QAAQ,SAAS,SAAS,UAAS,iBAAsB;;UChJxD;;;;;WAKN;;WAEA,gBAAgB;;WAEhB;;WAEA,MAAM;;;UAIA;;WAEN;;WAEA;;WAEA,OAAO;;WAEP,MAAM;;WAEN,gBAAgB;;;UAIV,wBAAwB;;WAE9B,UAAU;;;UAIJ,uBAAuB;;;;;WAK7B;;;UAIM;;WAEN,QAAQ;;WAER,UAAU;;WAEV,SAAS;;;;;;UAOH;;WAEN,QAAQ;;WAER,QAAQ;;WAER,SAAS;;;;;;;EAOlB,SAAS,oBAAoB;;;;;;;;;;;;;EAa7B,KAAK,aAAa;;;;;;;;EAQlB,IAAI,YAAY;;;;;;;EAOhB,OAAO;;;;;;;EAOP,WAAW,UAAU;;;;;;EAMrB,cAAc,SAAS;;;;;;;;;EASvB,IAAI,YAAY,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;wBAcrC,QAAQ,OAAO,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;wBA2DnC,SAAS,SAAS,SAAS,UAAS,kBAAuB;;UC7M1D;;EAEf;;EAEA,IAAI;;EAEJ,OAAO;;EAEP,KAAK,GAAG,gBAAgB,MAAM;;;;;;;;wBAShB,OAAO,eAAe;;UAcrB;;WAEN;;WAEA,2BAA2B;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA;;;;;;;;WAQA,QAAQ,eAAe,OAAO,QAAQ,WAAW;;;;;;;;WAQjD,SAAS,eAAe,OAAO,eAAe,6BAA6B;;WAE3E;;WAEA,gBAAgB;;WAEhB,iBAAiB;;WAEjB;;;;;;;;;wBAUK,QAAQ,OAAO,2BAA2B;;;;;;;;;;;;wBAsD1C,SAAS,OAAO,OAAO,SAAS;;;;;UCpH/B;;;;;;;;EAQf,IAAI,YAAY;;;;;;EAMhB,OAAO;;;;;;;EAOP,WAAW,SAAS;;;;;;EAMpB,eAAe,SAAS;;;;;;;EAOxB,KAAK,aAAa;;;UAIH;;WAEN,SAAS;;WAET;;;;;;KAOC,yBAAyB,SAAS,SAAS,OAAO,wBAAwB;;;;;UAMrE;;WAEN,oBAAoB;;WAEpB;;WAEA,WAAW,KAAK;;;;;;;WAOhB,SAAS,KAAK;;;;;;;;WAQd,QAAQ,KAAK,QAAQ,YAAY;;WAEjC;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA,oBAAoB;;WAEpB;;WAEA;;WAEA;;;;;;;;;WASA,SAAS,YAAY;;;UAIf;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;;KAIC;WACG;WAAmB,QAAQ;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA,QAAQ;;WAER,SAAS;;WAET,MAAM;;WAEN,SAAS;;WAET,SAAS;;WAET;;WAEA,QAAQ;;;;;;;;;;;;;;;;;;;wBA6KP,cAAc,QAAQ,uBAAuB,UAAS,uBAA4B;;UC1VjF,UAAU;;WAEhB,IAAI;;WAEJ;;;UAIM,UAAU;;WAEhB,gBAAgB,UAAU;;WAE1B,OAAO;;;;;;;KAQN,UAAU,MAAM,YAAY,IAAI,UAAU;;UAGrC;;;;;WAKN;;;UAIM,WAAW;;WAEjB,gBAAgB;;;;;WAKhB;;;;;;;;;;;;;;wBAiLK,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;;;;wBAuBrF,QAAQ,IAAI,OAAO,UAAU,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;wBAkB3E,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;wBAmBrF,UAAU,IAAI,OAAO,UAAU,KAAK,UAAU,SAAS,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;;;;wBAwCrG,OAAO,IAAI,OAAO,UAAU,eAAe,WAAW;;UCrTrD;;WAEN;;WAEA;WACA;;WAEA,UAAU;;WAEV;;;UAIM;;WAEN;;WAEA;;;UAIM;WACN,kBAAkB;WAClB,kBAAkB;;;UAIZ;;WAEN,SAAS;;;;;;EAMlB,OAAO;;;UAIQ;;;;;WAKN;;;;;;WAMA,SAAS,YAAY;;;;;;;;;;;;;wBAchB,SAAS,UAAU,UAAU;;;;;;;;;;;;;;wBA0C7B,SAAS,KAAK,WAAW,UAAS,gBAAqB;;UA4EtD;;WAEN;WACA,kBAAkB;WAClB,kBAAkB;;;UAIZ;WACN;WACA;;WAEA,SAAS;;WAET,UAAU;WACV;;;KAIC;WAA8B;WAAmB,OAAO;;WAAoB;WAAoB,OAAO;;;UAGlG;WACN,MAAM;WACN;WACA,iBAAiB;;WAEjB,QAAQ;;WAER,YAAY;;;;;;;WAOZ,aAAa;;WAEb;;;;;;KAOC,gCAAgC;WAA+B,QAAQ,SAAS,eAAe;;WAAiC;;;;;;;UAO3H;WACN;WACA;;;;;WAKA,SAAS,SAAS,eAAe;;;;;;;;;WASjC,QAAQ,SAAS,eAAe;;;;;;WAMhC;;;;;WAKA,SAAS,SAAS,eAAe;;WAEjC,QAAQ;;WAER,YAAY;;WAEZ;;;;;;WAMA,aAAa;;;;;;;;;;;KAYZ;WACG,OAAO;;WACP,WAAW;;WACX;;WACA,QAAQ,SAAS,eAAe;;WAChC;;WACA;;;;;;KAMH,kBAAkB,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAihBxC,UAAU,SAAS,KAAK,qBAAqB,KAAK,YAAY;;;;;;;;;;;;wBAuU9D,UAAU,SAAS,KAAK,qBAAqB,gBAAgB,OAAO;;UCzoCnE;WACN,MAAM;WACN,iBAAiB;;;;;;;;;;;;;;;;;;;wBAoMZ,eAAe,kBAAkB;;UAYhC;;WAEN;;;;;;;;;;;;;;;;;;;wBA+DK,gBAAgB,4BAA4B,UAAS,gBAAqB"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","names":["Part","Shape"],"sources":["../src/doc.ts","../src/errors.ts","../src/deref.ts","../src/types.ts","../src/world.ts","../src/ladder.ts","../src/static.ts","../src/typing.ts","../src/facts.ts","../src/evaluate.ts","../src/merge.ts","../src/classify.ts","../src/parts.ts","../src/syntax.ts","../src/stdlib.ts","../src/order.ts","../src/context.ts","../src/effects.ts","../src/formula.ts","../src/codec.ts","../src/reference.ts","../src/agree.ts","../src/conform.ts","../src/same.ts","../src/reads.ts","../src/durable.ts","../src/schedule.ts","../src/generate.ts","../src/meaning.ts","../src/graph.ts","../src/instances.ts","../src/replay.ts","../src/providers.ts"],"mappings":";KACY,mDAAmD;YAAmC,cAAA;;;KAGtF;YAAuC,cAAA;;;KAGvC;;;;;;;;;;;KAYA,4BAA4B;WAAmB;WAAsB,gBAAgB;;;;;;KAMrF;;WAED,MAAM;;WAEN,OAAO;;WAEP;;WAEA,MAAM,SAAS;;;qBAIb;;;;;;;;wBASG,SAAS,iBAAiB,SAAS;;;;;;;;wBAanC,MAAM,QAAQ,YAAY,cAAc;;;;;;;wBAUxC,MAAM,iBAAiB,SAAS;;;;;;;;wBAWhC,UAAU,iBAAiB,SAAS;;;;;;;wBAcpC,SAAS,MAAM,mBAAmB;;;;;;;wBAalC,SAAS,MAAM;;;;;;;;;wBAqBf,WAAW,iBAAiB,SAAS,aAAa;;UAUjD;WACN,UAAU;;WAEV,QAAQ,SAAS,eAAe;;;;;;;;;;wBAW3B,OAAO,gBAAgB,4BAA4B;;;;;;;;;wBAqBnD,MAAM,MAAM,SAAS,OAAO,MAAM;WAAmB;WAAwB,MAAM;IAAgC;;;;;;;wBAUnH,OAAO,eAAe,SAAS;;;;;;;wBAU/B,OAAO,KAAK,WAAW;;;;;;;wBAevB,SAAS,iBAAiB;;;;;;;;;;;;;;;;;;wBA+B1B,UAAU,YAAY;;KC5O1B;;KAoBA,YAAY;;;;;;;UAQP;WACN,MAAM;WACN;WACA,iBAAiB;WACjB;;;KAIC,OAAO;WAA0B;WAAmB,OAAO;;WAAiB;WAAoB,OAAO;;;KAGvG;WAAoB;WAAoB,OAAO;;;;;;;;wBAQ3C,GAAG,GAAG,OAAO,IAAI,OAAO;;;;;;;;;wBAYxB,KAAK,MAAM,WAAW,gBAAgB;WAAiB,iBAAiB;WAAgB;IAAyB;;;;;;;;;wBAejH,OAAO,GAAG,QAAQ,OAAO,IAAI,gBAAgB,QAAQ,OAAO;;;;;qBAS/D,gBAAgB;WAClB,OAAO;;;;;;EAOhB,YAAY,OAAO;;;;;;;;wBAaL,gBAAgB;;;;;;;;;wBAmBhB,OAAO,gBAAgB,cAAc;;;;;;;wBAgBrC,SAAS;;;;;qBCrIZ;;;;;UAMI;YACL;;WAED;;;;;;;;EAQT,MAAM,KAAK,MAAM;;;;;;;;;EASjB,KAAK,KAAK;;;;;;EAMV;;;;;;;;EAQA,SAAS,eAAe;aAAmB,OAAO;;;;;;;;;;EASlD,OAAO,KAAK;aAAiB,OAAO;;;;KAI1B;;;;;;;wBAQI,YAAY,iBAAiB,SAAS;;qBAKzC;;KAGD,eAAe;;;;;KAMf,wBAAwB;;;;;;;;;;UAWnB;WACN,MAAM;WACN,OAAO,SAAS;WAChB,OAAO;WACP,OAAO;WACP,eAAe;;;;;;;UAQT;;;;;;;;GAQd,KAAK,UAAU,KAAK,MAAM;;;;;;;;;;WAUlB,OAAO,KAAK,UAAU,KAAK;;;;;;KAO1B;WAAwB;WAAmB,OAAO;;WAAqB;WAAoB;WAAyB,OAAO;;;UAGtH;;WAEN,MAAM;;WAEN,MAAM;WACN,SAAS;;;;;;;;;EASlB,MAAM,OAAO,OAAO,KAAK,MAAM;;;;;;;;;;EAU/B,KAAK,OAAO,OAAO,KAAK;;;;;;;;WAQf,SAAS,KAAK,KAAK,OAAO;;;KAIzB,UAAU,OAAO,cAAc;;;;;;;;;;UAW1B;WACN,OAAO;WACP,SAAS,SAAS,eAAe;WACjC,UAAU,SAAS,eAAe;WAClC;WACA,iBAAiB;WACjB,SAAS,mBAAmB;;;KAI3B;;UAGK;WACN,MAAM;WACN,OAAO;WACP,IAAI;;;KAIH;;KAGA;WACG;WAAmB,OAAO;WAAgB,eAAe;;WACzD;WAAoB,MAAM,cAAc;WAAoB;WAAyB,eAAe;;;UAGlG;;WAEN;;;;;;;;;;;;;;wBAiIK,UAAU,KAAK,WAAW,OAAO,OAAO,KAAK;WAAiB,OAAO;WAAgB,IAAI;;;;;;;;wBA8BzF,MAAM,iBAAiB,SAAS;WAAsB,gBAAgB;;;;;;;;;;wBAoBtE,WAAW,OAAO,QAAQ;;;;;;;wBAe1B,QAAQ,QAAO,QAAQ,WAAgB;;;;;;;;;;;;;;;;;;;;;;;;wBA2NvC,QAAQ,KAAK,WAAW,KAAK,SAAS,0BAA0B,UAAS,iBAAsB;;;;;;;wBA4I/F,aAAa,OAAO;;;;;;;;;;;;;;;KCxuBxB;WAEG,MAAM;;WACN,QAAQ,SAAS,eAAe;WAAsB;WAAuC;;WAC7F,aAAa;WAAsB,IAAI;;WACvC,gBAAgB;;WAChB,cAAc;;;;;;;;;;UAUZ;;;;;;;WAON,KAAK;;WAEL;;WAEA;;;;;;WAMA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ;;;;;;;WAOR;;;;;;WAMA;;;;;;;;;;WAUA;;;;;;;UAQM;;;;;;;WAON,SAAS,mBAAmB;;;;;;;WAO5B,SAAS,MAAM;;;UAIT;WACN,aAAa;WACb;;;;;;qBAOE,aAAa,SAAS,eAAe;;;;;;;;;;;;;;;;;wBAkLlC,OAAO,gBAAgB,MAAM,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAmiB1E,KAAK,OAAO,WAAW,UAAU,WAAW,UAAU,SAAS,eAAe;;;;;;;;;;;;;;;;;;;;;;wBAgH9E,KAAK,GAAG,WAAW,GAAG,WAAW,UAAU,SAAS,eAAe,WAAW;;;;;;;;;;;;;;;wBAkE9E,SAAS,MAAM;;;;;;;;;;wBAyMf,WAAW,eAAe,UAAU,SAAS,eAAe,oBAAoB;;KCjsCpF;;;;;;;;;;;;;;;;;;;;;KAsBA;WACG;;WACA;WAAwB;WAAsB;WAA4B,2BAA2B;WAAmB,SAAS;;WACjI;WAAwB;WAAsB,OAAO;WAAgB;WAA6B,SAAS;;WAC3G;WAAuB;WAAsB,OAAO;WAAgB,SAAS;;WAE7E;WACA,4BAA4B,SAAS,eAAe;WACpD;WACA;WACA,OAAO;WACP;WACA,SAAS;;WAET;WAAwB;WAAsB,SAAS;;WACvD;;WACA;WAA0B;WAA0B;WAAuB;;WAC3E;WAAuB,iBAAiB;;;KAG3C,YAAY;;;;;;;;;;KAWZ;WACG;;WACA,iBAAiB;;WACjB,iBAAiB;;WACjB,iBAAiB;WAAgB;;WACjC;;;;;;UAME;WACN,OAAO;;WAEP,uBAAuB;;WAEvB;;;;;;;;;;;;;KAcC;WACG;WAAuB,wBAAwB;;WAC/C;WAAuB,wBAAwB;;WAC/C;WAAuB,eAAe;WAAgB,wBAAwB;;;;;;;;;;UAU5E;WACN,wBAAwB;WACxB;;;;;;;;;;;;;;;UAgBM;WACN;WACA;WACA,gBAAgB;WAChB,iBAAiB;;;;;;;;;;;;;;;UAgBX;WACN;WACA;aAAkB,MAAM;aAAe,SAAS;;WAChD,UAAU;WACV,WAAW;;;;;;;;;;UAWL;WACN,OAAO;WACP;;;qBAIE;;KAGD;WAA0B;WAAmB,OAAO;WAAe;;WAA6B;WAAoB;;;;;;;;;wBA4BhH,WAAW,oBAAoB;;;;;;;;;;;UAqB9B;WACN,YAAY,SAAS,eAAe;WACpC,OAAO,SAAS,eAAe;WAC/B,aAAa,SAAS,eAAe;;;;;;;;;wBAUhC,aAAa,MAAM;;;;;;;UAWlB,aAAa;;;;;WAKnB,OAAO,SAAS;;WAEhB,QAAQ;;WAER,iBAAiB;;;;;;;WAOjB,gBAAgB;;WAEhB,OAAO;;;;;;;WAOP;;;;;;;WAOA,cAAc;;;;;WAKd,SAAS;;;;;WAKT,OAAO;;WAEP;;;;;;KAOC,cAAc,SAAS;WAAyD;;;;;;;;;;;;wBAY5E,cAAc,MAAM,MAAM;;UAOzB;WACN,OAAO,SAAS,eAAe;WAC/B,WAAW;;;KAIV;WAAmB;WAAsB,gBAAgB;;;KAGzD,aAAa,OAAO,YAAY;;;;;UAM3B;WACN,OAAO,SAAS,eAAe;;;;;WAK/B,UAAU,SAAS;WACnB,WAAW;;;;;;;;;;;KAYV;WACG;WAAmB,MAAM;WAAe,eAAe;WAAgB;;WACvE;WAAoB;WAA+E,eAAe;;;;;;;;wBAkBjH,OAAO,OAAO,yBAAyB,SAAS;;;;;;;wBAUhD,QAAQ,OAAO,yBAAyB,SAAS;;;;;;;wBAUjD,YAAY,OAAO,yBAAyB,SAAS;;;;;;;;;;;;wBAqErD,WAAW,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAqDzC,cAAc,SAAS,SAAS,eAAe,eAAe;;;;;;;;wBA8B9D,aAAa,cAAc,MAAM,OAAO;;;;;;;wBAaxC,cAAc;;qBC3hBjB;;KAGD,eAAe;;KAGf;;;;;;;;;KAUA;;UAGK;WACN,MAAM;WACN,SAAS;;WAET;;WAEA;;WAEA,SAAS;;;UAIH;WACN;;WAEA;;WAEA,OAAO;;WAEP;WACA,gBAAgB;;;;;;UAOV;WACN,OAAO;WACP,MAAM,SAAS;;;UAIT;;WAEN;;;;;;;;;;wBAeK,OAAO,OAAO,OAAO,MAAM,UAAU;;;;;;;;wBAYrC,UAAU,OAAO,OAAO,MAAM,UAAU;;;;;;;;;;;;;;;wBAwDxC,IAAI,OAAO,OAAO,KAAK,QAAQ,cAAc,UAAS,aAAkB;;UCnIvE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,SAAS;;WAET,eAAe;;WAEf,KAAK;;WAEL;;WAEA,OAAO;;WAEP,oBAAoB;;WAEpB;;WAEA,OAAO;;WAEP,OAAO;;WAEP;;;;;WAKA,gBAAgB;;;UAIV;;WAEN,gBAAgB;;WAEhB,aAAa;WACb;WACA;;;UAIM;;WAEN;;WAEA;;WAEA,gBAAgB;;;;;;WAMhB,WAAW,SAAS;;;;;;;;;;;;;;wBAgGf,KAAK,OAAO,OAAO,cAAc,QAAQ,OAAO,4BAA4B,UAAS;;UA0FpF;;WAEN,OAAO;;WAEP,gBAAgB;;WAEhB,aAAa;;WAEb,eAAe;WACf;;WAEA;;WAEA;;;;;;;;;;;;wBAaK,OAAO,OAAO,OAAO,cAAc,UAAS,uBAA4B;;;;;;;;;;;wBAmDxE,QAAQ,OAAO,OAAO,cAAc,SAAS,KAAK,oBAAoB,UAAS;;UAW9E;WACN,MAAM;;WAEN,gBAAgB;WAChB;;WAEA,cAAc;;WAEd,WAAW;;WAEX,QAAQ;;;UAIF;;WAEN;;WAEA;;;;;WAKA,gBAAgB;;;;;;;;;WAShB;;;;;;WAMA;;WAEA,SAAS;;;;;;;;WAQT;;;;;WAKA,YAAY;;;UAIN;;WAEN,MAAM;;WAEN,iBAAiB;;WAEjB,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBA+FZ,MAAM,SAAS,SAAS,cAAc,UAAS,wBAA6B;;;;;;;;;;;;;;;;;;;wBAsB5E,UAAU,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;;;;UActE;;;;;WAKN;;;;;WAKA,eAAe;;WAEf;;WAEA;;WAEA;;WAEA;;;;;WAKA,cAAc;WACd;;;UAIM;;;;;WAKN;;;;;;;;;;;;;;;;;;;;wBA0BK,WAAW,SAAS,SAAS,0BAA0B,UAAS,wBAA6B;;UCrkB5F;;WAEN,mBAAmB;;WAEnB,KAAK;;WAEL,UAAU;;WAEV,0BAA0B;;WAE1B;WACA,SAAS;;;;;;;;EAQlB,OAAO,eAAe,QAAQ;;;;;;;;EAQ9B,SAAS,eAAe;;;;;;;;;;EAUxB,SAAS,eAAe;;;;;;;;;EASxB,SAAS,eAAe,eAAe;;;UAIxB;;WAEN,SAAS;;WAET;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC,QAAQ,KAAK;;;;;;;;;;;UAYP;;WAEN,QAAQ,SAAS,eAAe;;WAEhC,OAAO;;WAEP,QAAQ;;WAER,QAAQ;;;;;;qBAON,WAAW;;UAGP;;WAEN,gBAAgB;WAChB;WACA,WAAW;WACX,QAAQ;;;;;;;UAQF;;;;;;;;;WASN,QAAQ,OAAO,WAAW,eAAe,UAAU;;;;;;;;;WASnD,QAAQ,OAAO,WAAW,SAAS,SAAS,yBAAyB;;;;;;;;WAQrE,0BAA0B;;;;;;KAOzB;;WAGG,aAAa;;WAEb;;WAEA;;;WAIA,aAAa;;WAEb;;;UAIE;;WAEN,gBAAgB;;WAEhB,aAAa;;WAEb,MAAM;;WAEN,WAAW;;;;;;;UClKL;;WAEN,MAAM;;WAEN,eAAe;;;;;WAKf;;WAEA;;WAEA;;WAEA,eAAe;;;;;WAKf,gBAAgB;;WAEhB,aAAa;;;UAIP;;;;;WAKN,gBAAgB;;WAEhB,MAAM;;;;;WAKN;;;;;WAKA;;WAEA;;WAEA;;;UAIM;;WAEN;;;;;;;WAOA;;;;;;;;WAQA,YAAY,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAqIb,QAAQ,SAAS,SAAS,cAAc,UAAS,eAAoB;;;;;;;;;;wBC9KrE,YAAY,QAAO,SAAS,0BAA+B,gBAAe,OAAY,OAAM,QAAe;;;;;;;wBAU3G,QAAQ,MAAM;;;;;;;;;;wBAad,QAAQ,eAAe,OAAO,MAAM;;;;;;;;;;wBAiBpC,OAAO,QAAQ,SAAS,MAAM,UAAU;;;;;;;;;wBAoBxC,cAAc,YAAY,OAAO,YAAY,iBAAiB;;;;;;;;;;wBAkC9D,SAAS,gBAAgB,wBAAwB,eAAe,OAAO,eAAe,iBAAiB;;;;;;KAqI3G,QAAQ,UAAU,kBAAkB;;UAG/B;;WAEN;;WAEA;;WAEA,eAAe;WACf;;WAEA;;WAEA;;WAEA,gBAAgB;;WAEhB,SAAS;;;;;;;WAOT;;;;;WAKA,UAAU;;;;;;;UAQJ;;WAEN;;;;;WAKA,SAAS;;;;;;WAMT;;;;;WAKA;;WAEA,gBAAgB;;;;;;;KA4Df,WAAW,QAAQ;;qBAGlB;;;;;UAMI;;;;;;;WAON,WAAW,aAAa;;;;;;;;;;WAUxB,QAAQ,aAAa,4BAA4B;;;;;;UAuD3C;WACN,SAAS;;WAET;;;;;;;;;EAST,QAAQ,KAAK,SAAS,0BAA0B,UAAU,iBAAiB;;;;;;;;;;;EAW3E,OAAO,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;;;;EAW1E,UAAU,KAAK,SAAS,MAAM,KAAK,kBAAkB,gBAAgB,QAAQ;;;;;;;;EAQ7E,IAAI,sBAAsB,UAAU,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;;;EAUhG,cAAc,UAAU,SAAS,uBAAuB;;;;;;;;;UAUzC;WACN;WACA;;;;;;;KAQC,QAAQ,KAAK,SAAS,IAAI,YAAY;;;;;KAMtC,WAAW,KAAK,SAAS,IAAI,YAAY;;UAGpC;;WAEN;;WAEA,eAAe;;WAEf;;WAEA,MAAM;;WAEN,KAAK;;;UAIC;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgB;;WAEhB,gBAAgB;WAChB,SAAS;;;;;;;;EAQlB,KAAK;;WAEI;;;;;;UAOMA;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;;WAEN;;WAEA,mBAAmB;WACnB,KAAK;;WAEL;;WAEA,MAAM;;WAEN,gBAAgBA;;WAEhB,SAAS;;WAET,gBAAgB;;WAEhB,UAAU;;WAEV;;;;;;;;EAQT,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;EAQrC,KAAK;;;UAIU;;WAEN;;WAEA,eAAe;;WAEf;;;;;;;EAOT,SAAS,UAAU,UAAU;;;UAId;WACN;WACA,mBAAmB;WACnB,KAAK;;WAEL;WACA,MAAM;WACN,gBAAgB;WAChB,SAAS;WACT,gBAAgB;;WAEhB,UAAU;EACnB,QAAQ,0BAA0B,UAAU,iBAAiB;;;;;;;;;EAS7D,OAAO,MAAM,KAAK,mBAAmB;;;;;;;;;EASrC,IAAI,gBAAgB,WAAW,UAAU,aAAa,UAAU,2BAA2B;;;;;;;;EAQ3F,KAAK;;;KAIK,UAAU,OAAO,cAAc;;UAG1B;;;;;;;WAON,UAAU,OAAO,iBAAiB;;;;;WAKlC,OAAO;;;KAIN,YAAY,SAAS;;KAGrB,SAAS,OAAO,aAAa;;UAGxB;;;;;;;WAON,aAAa,OAAO,iBAAiB;;;;;;KAOpC,SAAS,QAAQ;;;;;;;;;;;UAYZ,gBAAgB;WACtB,YAAY,SAAS,eAAe;;WAEpC,UAAU,SAAS,eAAe;WAClC;WACA,WAAW,eAAe,OAAO,eAAe,OAAO,SAAS;;;;;;;;;;WAUhE,SAAS,eAAe,OAAO;;;;;;WAM/B,UAAU,SAAS,eAAe;;;;;;;;;;WAUlC,SAAS,eAAe,OAAO,iBAAiB;;;UAI1C;WACN;;WAEA;;WAEA,KAAK;;WAEL;;WAEA,QAAQ;WACR,MAAM;;WAEN;;WAEA,OAAO,SAAS;;WAEhB,eAAe;;WAEf;;WAEA;;WAEA;WACA,QAAQ;WACR,mBAAmB;;WAEnB;;;UAIM;WACN,QAAQ;WACR,OAAO;WACP,kBAAkB;;WAElB;;;UA2CM;WACN;WACA;EACT,iBAAiB,eAAe,sBAAsB;aAAqB;;;;;;;UAO5D;;WAEN,UAAU;;WAEV,SAAS;;;;;WAKT,QAAQ;;;UAIF,mBAAmB;;WAEzB;;WAEA;;;UAIM;;WAEN,UAAU;;;;;WAKV,UAAU;;;;;WAKV,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA,UAAU;;WAEV,QAAQ;;;UAylBF;;WAEN;;WAEA;;;;;WAKA;;;;;WAKA;;;;;;;;;WASA;aAAmB,QAAQ,SAAS;;;;UAI9B;WACN,SAAS;;WAET;;WAEA,MAAM;;;;;;;;;EASf,SAAS,UAAU,SAAS,UAAU,cAAc;;;;;;;;EAQpD,IAAI,UAAU,SAAS,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;;;wBA6vB5C,QAAQ,SAAS,SAAS,cAAc,UAAS,iBAAsB;;;;;;;;;wBA4EvE,QAAQ,SAAS,SAAS,UAAS,kBAAuB,iBAAiB;;;;;;;;;;;;;;;;;wBA8C3E,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,mBAAmB,kBAAkB;;;;;;;;;;;;wBAyB1G,IAAI,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,aAAkB,QAAQ;;;;;;;;wBAmB/G,OAAO,OAAO,WAAW,eAAe,QAAQ;;;;;;;wBAqBhD,QAAQ,OAAO,qBAAqB;;;;;;;;wBAkBpC,SAAS,OAAO,qBAAqB;;KCp/EzC,qBAAqB;;;;;UAMhB;WACN,QAAQ,SAAS,eAAe;WAChC,WAAW,SAAS;WACpB,WAAW;WACX,oBAAoB;;;;;;UAOd,oBAAoB,KAAK,QAAQ;WACvC,QAAQ;WACR,oBAAoB;;;;;;UAOd;WACN,MAAM;WACN;WACA;;;qBAIE,mBAAmB;WACrB,oBAAoB;;;;;;EAO7B,YAAY,oBAAoB;;;UA+DjB;;WAEN;;WAEA,QAAQ,SAAS,eAAe;;;;;WAKhC;;;;;;;;;;;;;;;;;;;;wBAqBK,aAAa,cAAc,MAAM,mBAAmB,MAAM,YAAY;;;;;;;;;;;;;;;;;wBAsLtE,eAAe,iBAAiB,cAAc,MAAM,UAAU,gBAAgB;;;;;;;;;;;;;;;;;;;;;wBAuJ9E,iBAAiB,iBAAiB,gBAAgB,MAAM,YAAY,kBAAkB;;;;;;;;;;;;;;wBAyEtF,cAAc,OAAO,OAAO,gBAAgB,cAAc;;;;;;;;;;;;;;;;wBAgC1D,gBAAgB,SAAS,SAAS,gBAAgB,cAAc;;UChkB/DC;WACN;WACA;WACA;;;UAIM;;WAEN;;WAEA;;WAEA;;;;;;;;;;;;wBAiBK,SAAS,iBAAiBA,WAAS,OAAO,OAAO;;;;;;;;wBAkBjD,IAAI,OAAO,MAAM,eAAe;;UC9C/B;;WAEN,eAAe;;WAEf;WACA,MAAM;WACN;;WAEA;;WAEA,SAAS;;;KAUR;WAEG;;WAEA,gBAAgB;;WAEhB,MAAM;;;;;;;EAOf,KAAK,GAAG,kBAAkB;;WAEjB;WAAoB;WAAyB,aAAa;;;;;;;;;;wBA4DzD,WAAW,OAAO,mBAAmB,OAAO,OAAO;;;;;;KA8GvD;WAEG;;WAEA,KAAK;;WAEL;;WAEA,MAAM;;WAEN,mBAAmB;;;;;WAKnB,OAAO;;WAEP;WAAoB;WAAyB;;;;;;;;;;;;wBAY5C,QAAQ,OAAO,OAAO,gBAAgB,wBAAwB;;;;;;;;;wBAuB9D,YAAY,eAAe,OAAO,kBAAkB;;KC/PxD;;;;;KAMA;;UAGK;;WAEN;;WAEA,QAAQ;;WAER;;WAEA,QAAQ;;WAER;;;UAIM;;WAEN;;WAEA;;WAEA;aAA6B;aAA4B;;;WAEzD,QAAQ,SAAS;;;;;;;WAOjB,YAAY;;;UAIN;;WAEN;;WAEA;;WAEA;;;UAIM;;WAEN,SAAS;;WAET,OAAO,0BAA0B;;WAEjC,QAAQ;;;UAIF;;WAEN;;WAEA;;WAEA;;WAEA,oBAAoB;;;UAId;;;;;WAKN;;WAEA;;;;;WAKA;;WAEA;;;;;;;;;WASA,OAAO;;;;;;WAMP;;;KAIC;;UAGK;;WAEN;;WAEA,iBAAiB;;WAEjB;;;UAIM;;;;;;WAMN;;;;;;;UAQM;;WAEN,qBAAqB;;WAErB,WAAW;;WAEX,OAAO;;WAEP,QAAQ;;WAER,SAAS;;WAET;;;UAIM;;WAEN;;WAEA;;WAEA;;;KAIC;WAAyB;WAAmB,KAAK;;WAAoB;WAAoB,iBAAiB;;;;;;;;qBAQzG,YAAY;;;;;;;;;;wBA8pBT,MAAM,SAAS,eAAe,eAAe;;;;;;;;;;wBAgR7C,MAAM,SAAS,eAAe,eAAe;;;;;;;;;wBAkB7C,aAAa,SAAS,gBAAgB;;;;;qBCnlCzC,WAAW;;;;;;;;;;;;;;qBAsHX,cAAc;;qBA4Dd,gBAAgB,SAAS,eAAe;;KAmDzC;;qBAGC,0BAA0B;;UAGtB;WACN;;WAEA,gBAAgB;;WAEhB,KAAK;;;UA+CC;;WAEN,QAAQ;;WAER,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;KA0BH,iBAAiB,gBAAgB,OAAO,mBAAmB,eAAe,oBAAoB;;UAGzF;;;;;WAKN,OAAO;;;;;;;;;wBAUF,kBAAkB,UAAS,cAAmB;;;;;;;;;wBAosB9C,eAAe,MAAM,OAAO,oBAAoB;;;;;;;;;wBAYhD,QAAQ,OAAO,iBAAiB;;UAmC/B;;;;;;;;WAQN,WAAW,MAAM,OAAO,QAAQ;;WAEhC;;;;;WAKA;;;;;;;;;;wBAeK,cAAc,UAAS,iBAAsB;;qBAyBhD,aAAa,SAAS,eAAe;;;;;qBAiBrC,aAAa,SAAS,eAAe;;qBAiDrC,aAAa;;qBAGb;;UCztCI;WACN;WACA;WACA;;;KAIC,iBAAiB,gBAAgB;;UAG5B;WACN;WACA;;WAEA;;;;;;;;wBASK,WAAW,gBAAgB,sBAAsB;;;;;;;wBAkBjD,UAAU,gBAAgB,sBAAsB;;;;;;;;wBAkBhD,YAAY,gBAAgB,sBAAsB;;;;;;;;;wBAmBlD,eAAe,gBAAgB,YAAY;;;;;;;;wBAiB3C,OAAO,gBAAgB;;qBC5F1B;;KAGD,eAAe;;UAGV;WACN,MAAM;WACN;;WAEA;;WAEA;;;qBAIE,oBAAoB;;;;;;;;;;;KA4CrB;;UAGK;WACN;WACA,OAAO;WACP;;;UAIM;WACN;WACA;WACA,MAAM;WACN;WACA,SAAS;WACT,MAAM,SAAS,OAAO,MAAM;;;qBAM1B,qBAAqB;;UCvEjB;;WAEN;;;;;;WAMA,gBAAgB;;;;;;;;;;;;;;;;;;;;wBAmDX,UAAU,SAAS,SAAS,cAAc,UAAS;;;;;;;;;;;;;;;wBA0BnD,YAAY,SAAS,SAAS,mBAAmB,OAAO,eAAe,UAAS,KAAK,mCAAwC;;KCxFjI,WAAW;;;;;KAMX,UAAU,sBAAsB,cAAc;;;;;KAM9C,SAAS,MAAM,MAAM,SAAS,SAAS,UAAU,SAAS,eAAe,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAoCjF;WACN,MAAM,SAAS,eAAe,WAAW,iBAAiB;WAC1D,OAAO,SAAS,eAAe;WAC/B,MAAM,SAAS,eAAe;WAC9B,WAAW,SAAS,eAAe;WACnC,UAAU;WACV,YAAY;WACZ;WACA;WACA,QAAQ,OAAO;WACf,WAAW;WACX,SAAS,gBAAgB,eAAe;WACxC,WAAW,iBAAiB,gBAAgB;WAC5C;WACA;WACA;WACA,OAAO,SAAS,eAAe,qBAAqB,kBAAkB,iBAAiB,qBAAqB;;;;;;;UAQtG;;WAEN,iBAAiB;;WAEjB,OAAO;;WAEP,IAAI;;;qBAOF;WACC,OAAgB;EAA5B,YAAY,OAAgB;;cAGxB;;KAGM,eAAe;YAAoD;aAAqB;;;;;;;;;wBAQpF,UAAU,iBAAiB,SAAS;;;;;qBAQvC,SAAS,SAAS,eAAe;;wBAa9B,SAAS;;;;;;;wBA4CT,gBAAgB,SAAS,eAAe;;;;;;;;;;;wBAyZxC,kBAAkB,UAAS,iBAAsB,SAAS,eAAe;;;;;;;;;;;;;wBA6ezE,aAAa,UAAS,kBAAuB,eAAe,OAAO;;;;;;;;;;;;;;;wBAqDnE,aAAa,UAAS,kBAAuB,eAAe,OAAO,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;wBA8CpF,eAAe,UAAS,gBAAqB,OAAM,cAAmB;;KC9oCjF,UAAU,SAAS,eAAe;;;;;;;;;;wBAmBvB,aAAa,MAAM,MAAM,SAAS,UAAU;;;;;;;;;;;;;;;;wBAmI5C,YAAY,SAAS,KAAK,qBAAqB,iBAAiB;;;;;;;;;wBAwChE,YAAY,SAAS,SAAS,eAAe;;;;;UChK5C;WACN,aAAa,SAAS,eAAe;WACrC,UAAU,SAAS,eAAe;;;UAI5B;;WAEN;;WAEA,cAAc;;WAEd,UAAU;;WAEV,UAAU;;;;;WAKV;;;;;;WAMA,QAAQ;;;UAIF,4BAA4B;;;;;WAKlC,UAAU;;WAEV,SAAS;;;;;;;;;;;;;;;;wBA6hBJ,UAAU,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,mBAAwB;;;;;;;;;;;;;;;;wBAiC7G,aAAa,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,sBAA2B,QAAQ;;;;;qBAqd9H,iBAAiB;;;;;;;;;wBA2Bd,mBAAmB,UAAS,iBAAsB;;;;;;;;;;;;;KCxmCtD;;UAGK;WACN,QAAQ;WACR,mBAAmB;;;UAIb;;WAEN,UAAU;;WAEV;;;UAIM;;WAEN;;;;;;WAMA;;WAEA,cAAc;;;;;WAKd,iBAAiB,QAAQ;;;;;;;;;WASzB,SAAS,cAAc,SAAS,SAAS,OAAO,cAAc,SAAS;;;;;WAKvE,UAAU;;;;;;;;WAQV,SAAS,YAAY;;WAErB;;;;;;;;;WASA;;;KAOC;WAEG;WACA,QAAQ;WACR,kBAAkB;;;;;WAKlB,iBAAiB;;WAGjB;WACA,MAAM;;WAEN,MAAM;;WAEN,OAAO;;WAEP;;;;;;;;;;;;;;;;;;;;wBAqBC,UAAU,YAAY,YAAY,SAAS,YAAY;;;;;;;;;;;;;wBAiIvD,MAAM,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,eAAoB;;UAoEpG,wBAAwB,KAAK;;;;;WAKnC,UAAU;;;;;;;;;;;;;;;;;;;;;;;wBA+IC,SAAS,SAAS,SAAS,cAAc,UAAS,SAAyB,UAAS,kBAAuB,QAAQ;;;;;;;;;;;;;;;;;;;;KC5Z7H;;UAGK;;WAEN;;WAEA,KAAK;;WAEL,SAAS,SAAS,eAAe;;WAEjC;;WAEA,eAAe;;WAEf;;;UAIM;WACN,YAAY;;WAEZ;WACA,OAAO;;;UAID;;;;;;WAMN;;;;;WAKA,iBAAiB;;;;;WAKjB,SAAS,SAAS,wBAAwB;;;;;WAK1C,mBAAmB;;;;;WAKnB,cAAc;;WAEd,gBAAgB;;WAEhB,QAAQ,SAAS;;WAEjB;;WAEA;;WAEA,UAAU;;;;;;;;WAQV,SAAS,YAAY;;;;;;;;;;;;;;;;;;;;;;wBAu8BhB,SAAS,SAAS,SAAS,cAAc,UAAS,0BAA+B;;;;;;;;;;;;;;;;;;;;;wBCvjCjF,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,SAAS,YAAY;;KCV5E;WACG;;WAEA;;WAEA;;WAEA,MAAM;;WAEN,KAAK;;;;;WAKL;;;UAIE;;;;;WAKN;;;;;;;;WAQA,SAAS;;;;;;UAOH;;WAEN;;WAEA,SAAS;;;UAIH;;;;;;;;;WASN,SAAS,YAAY;;;;;;WAMrB,SAAS;;;;;;;;;;;;;;;;;;;wBAiIJ,WAAW,gBAAgB,QAAQ,UAAS,eAAoB;;;;;;;;;;;;;;;;;;;;;;;;;wBA6DhE,YAAY,QAAQ,UAAU,MAAM,gBAAgB,QAAQ,SAAS,SAAS,UAAS,gBAAqB;;UC5P3G;;WAEN;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA,WAAW;;WAEX,QAAQ;;;;;WAKR,iBAAiB;;;;;;UAOX;;WAEN,SAAS;;WAET,QAAQ;;WAER,QAAQ;;;;;;;;EAQjB,KAAK,eAAe;;;;;;;EAOpB,MAAM,eAAe;;;;;;;;;;;;;;EAcrB,SAAS,cAAc,cAAc,SAAS,UAAU;;EAExD;;;;;;;EAOA,gBAAgB,UAAU;;;;;;EAM1B,OAAO;;;;;;;;;;;;;;;;;;;;;;wBA+DO,QAAQ,SAAS,SAAS,UAAS,iBAAsB;;UCtJxD;;;;;WAKN;;WAEA,gBAAgB;;WAEhB;;WAEA,MAAM;;;UAIA;;WAEN;;WAEA;;WAEA,OAAO;;WAEP,MAAM;;WAEN,gBAAgB;;;UAIV,wBAAwB;;WAE9B,UAAU;;;UAIJ,uBAAuB;;;;;WAK7B;;;UAIM;;WAEN,QAAQ;;WAER,UAAU;;WAEV,SAAS;;;;;;UAOH;;WAEN,QAAQ;;WAER,QAAQ;;WAER,SAAS;;;;;;;EAOlB,SAAS,oBAAoB;;;;;;;;;;;;;EAa7B,KAAK,aAAa;;;;;;;;EAQlB,IAAI,YAAY;;;;;;;EAOhB,OAAO;;;;;;;EAOP,WAAW,UAAU;;;;;;EAMrB,cAAc,SAAS;;;;;;;;;EASvB,IAAI,YAAY,UAAU,iBAAiB,QAAQ;;;;;;;;;;;;;wBAcrC,QAAQ,OAAO,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;wBA2DnC,SAAS,SAAS,SAAS,UAAS,kBAAuB;;UC7M1D;;EAEf;;EAEA,IAAI;;EAEJ,OAAO;;EAEP,KAAK,GAAG,gBAAgB,MAAM;;;;;;;;wBAShB,OAAO,eAAe;;UAcrB;;WAEN;;WAEA,2BAA2B;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA;;;;;;;;WAQA,QAAQ,eAAe,OAAO,QAAQ,WAAW;;;;;;;;WAQjD,SAAS,eAAe,OAAO,eAAe,6BAA6B;;WAE3E;;WAEA,gBAAgB;;WAEhB,iBAAiB;;WAEjB;;;;;;;;;wBAUK,QAAQ,OAAO,2BAA2B;;;;;;;;;;;;wBAsD1C,SAAS,OAAO,OAAO,SAAS;;;;;UCpH/B;;;;;;;;EAQf,IAAI,YAAY;;;;;;EAMhB,OAAO;;;;;;;EAOP,WAAW,SAAS;;;;;;EAMpB,eAAe,SAAS;;;;;;;EAOxB,KAAK,aAAa;;;UAIH;;WAEN,SAAS;;WAET;;;;;;KAOC,yBAAyB,SAAS,SAAS,OAAO,wBAAwB;;;;;UAMrE;;WAEN,oBAAoB;;WAEpB;;WAEA,WAAW,KAAK;;;;;;;WAOhB,SAAS,KAAK;;;;;;;;WAQd,QAAQ,KAAK,QAAQ,YAAY;;WAEjC;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA,oBAAoB;;WAEpB;;WAEA;;WAEA;;;;;;;;;WASA,SAAS,YAAY;;;UAIf;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;;KAIC;WACG;WAAmB,QAAQ;;WAE3B;;WAEA;;WAEA;;WAEA;;WAEA,QAAQ;;WAER,SAAS;;WAET,MAAM;;WAEN,SAAS;;WAET,SAAS;;WAET;;WAEA,QAAQ;;;;;;;;;;;;;;;;;;;wBA6KP,cAAc,QAAQ,uBAAuB,UAAS,uBAA4B;;UC1VjF,UAAU;;WAEhB,IAAI;;WAEJ;;;UAIM,UAAU;;WAEhB,gBAAgB,UAAU;;WAE1B,OAAO;;;;;;;KAQN,UAAU,MAAM,YAAY,IAAI,UAAU;;UAGrC;;;;;WAKN;;;UAIM,WAAW;;WAEjB,gBAAgB;;;;;WAKhB;;;;;;;;;;;;;;wBAiLK,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;;;;wBAuBrF,QAAQ,IAAI,OAAO,UAAU,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;wBAkB3E,WAAW,IAAI,OAAO,UAAU,KAAK,UAAS,kCAAuC;;;;;;;;;;;wBAmBrF,UAAU,IAAI,OAAO,UAAU,KAAK,UAAU,SAAS,KAAK,UAAS,eAAoB,YAAY;;;;;;;;;;;;;wBAwCrG,OAAO,IAAI,OAAO,UAAU,eAAe,WAAW;;UCvSrD;;WAEN;;WAEA,gBAAgB;WAChB;;WAEA;;WAEA;;;UAIM;;WAEN;;WAEA;;WAEA;;WAEA,gBAAgB;;;UAIV;;WAEN;;WAEA;;;;;WAKA;;;UAIM;;WAEN,UAAU,oBAAoB;;WAE9B,gBAAgB;;WAEhB,OAAO;;WAEP,kBAAkB;;WAElB,iBAAiB;;;UAIX;;WAEN;;;;;;;;;;wBAWK,kBAAkB,gBAAgB,OAAO;;;;;;;;;;;;;;;;;;wBAsdzC,eAAe,SAAS,SAAS,cAAc,UAAS,wBAA6B;;UCriBpF;;WAEN;;WAEA;WACA;;WAEA,UAAU;;WAEV;;;UAIM;;WAEN;;WAEA;;;UAIM;WACN,kBAAkB;WAClB,kBAAkB;;;UAIZ;;WAEN,SAAS;;;;;;EAMlB,OAAO;;;UAIQ;;;;;WAKN;;;;;;WAMA,SAAS,YAAY;;;;;;;;;;;;;wBAchB,SAAS,UAAU,UAAU;;;;;;;;;;;;;;wBA0C7B,SAAS,KAAK,WAAW,UAAS,gBAAqB;;UA4EtD;;WAEN;WACA,kBAAkB;WAClB,kBAAkB;;;UAIZ;WACN;WACA;;WAEA,SAAS;;WAET,UAAU;WACV;;;KAIC;WAA8B;WAAmB,OAAO;;WAAoB;WAAoB,OAAO;;;UAGlG;WACN,MAAM;WACN;WACA,iBAAiB;;WAEjB,QAAQ;;WAER,YAAY;;;;;;;WAOZ,aAAa;;WAEb;;;;;;KAOC,gCAAgC;WAA+B,QAAQ,SAAS,eAAe;;WAAiC;;;;;;;UAO3H;WACN;WACA;;;;;WAKA,SAAS,SAAS,eAAe;;;;;;;;;WASjC,QAAQ,SAAS,eAAe;;;;;;WAMhC;;;;;WAKA,SAAS,SAAS,eAAe;;WAEjC,QAAQ;;WAER,YAAY;;WAEZ;;;;;;WAMA,aAAa;;;;;;;;;;;KAYZ;WACG,OAAO;;WACP,WAAW;;WACX;;WACA,QAAQ,SAAS,eAAe;;WAChC;;WACA;;;;;;KAMH,kBAAkB,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAihBxC,UAAU,SAAS,KAAK,qBAAqB,KAAK,YAAY;;;;;;;;;;;;wBAuU9D,UAAU,SAAS,KAAK,qBAAqB,gBAAgB,OAAO;;UCzoCnE;WACN,MAAM;WACN,iBAAiB;;;;;;;;;;;;;;;;;;;wBAoMZ,eAAe,kBAAkB;;UAYhC;;WAEN;;;;;;;;;;;;;;;;;;;wBA+DK,gBAAgB,4BAA4B,UAAS,gBAAqB"}
|