https://your-docusaurus-site.example.com/markdown-pageweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/actor-fundamentals/declarationsweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/actor-fundamentals/fieldsweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/actor-fundamentals/visibilityweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/async-await/async-functionsweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/async-await/async-starweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/async-await/atomicityweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/async-await/awaitweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/async-await/commit-pointsweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/message-semantics/cyclesweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/message-semantics/deliveryweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/message-semantics/trapsweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/shared-functions/callerweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/shared-functions/queryweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/shared-functions/updateweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/state-persistence/compatibilityweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/state-persistence/orthogonalweekly0.5https://your-docusaurus-site.example.com/docs/actors-concurrency/state-persistence/stable-variablesweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/async-verification/aliasingweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/async-verification/framesweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/async-verification/interferenceweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/async-verification/invariantsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/collection-linearity/consumptionweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/collection-linearity/oldweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/collection-linearity/restrictionsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/collection-linearity/threadingweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/digital-assets/overviewweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/digital-assets/shared-boundariesweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/digital-assets/tutorialsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/ghost-state/blocksweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/ghost-state/functionsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/ghost-state/modulesweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/ghost-state/patternsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/ghost-state/variablesweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/lemmas/declaringweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/lemmas/stepweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/lemmas/usingweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/mutable-records/aliasingweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/mutable-records/ownershipweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/mutable-records/typesweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/numeric-verification/boundsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/numeric-verification/divisionweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/numeric-verification/modesweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/pattern-matching/exhaustivenessweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/pattern-matching/unwrappingweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/pattern-matching/variantsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/permission-model/errorsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/permission-model/framingweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/permission-model/read-writeweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/protocol-patterns/access-controlweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/protocol-patterns/state-machinesweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/protocol-patterns/tokensweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/quantifiers/existsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/quantifiers/forallweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/quantifiers/patternsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/quantifiers/triggersweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/spec-collections/collection-snapshotsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/spec-collections/mapweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/spec-collections/multisetweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/spec-collections/seqweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/spec-collections/setweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/trusted-code/abstract-functionsweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/trusted-code/baseweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/trusted-code/modifierweekly0.5https://your-docusaurus-site.example.com/docs/advanced-verification/trusted-code/signature-onlyweekly0.5https://your-docusaurus-site.example.com/docs/appendices/a-syntax-referenceweekly0.5https://your-docusaurus-site.example.com/docs/appendices/b-error-codesweekly0.5https://your-docusaurus-site.example.com/docs/appendices/c-viper-encodingweekly0.5https://your-docusaurus-site.example.com/docs/appendices/d-examplesweekly0.5https://your-docusaurus-site.example.com/docs/appendices/e-verified-restrictionsweekly0.5https://your-docusaurus-site.example.com/docs/category/actor-fundamentalsweekly0.5https://your-docusaurus-site.example.com/docs/category/actor-invariantsweekly0.5https://your-docusaurus-site.example.com/docs/category/actors-and-concurrencyweekly0.5https://your-docusaurus-site.example.com/docs/category/advanced-verificationweekly0.5https://your-docusaurus-site.example.com/docs/category/appendicesweekly0.5https://your-docusaurus-site.example.com/docs/category/assertionsweekly0.5https://your-docusaurus-site.example.com/docs/category/async-verificationweekly0.5https://your-docusaurus-site.example.com/docs/category/asyncawaitweekly0.5https://your-docusaurus-site.example.com/docs/category/axiom-modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/basic-syntaxweekly0.5https://your-docusaurus-site.example.com/docs/category/cicd-integrationweekly0.5https://your-docusaurus-site.example.com/docs/category/cli-commandsweekly0.5https://your-docusaurus-site.example.com/docs/category/cli-workflowweekly0.5https://your-docusaurus-site.example.com/docs/category/collection-valuesweekly0.5https://your-docusaurus-site.example.com/docs/category/composite-typesweekly0.5https://your-docusaurus-site.example.com/docs/category/contractsweekly0.5https://your-docusaurus-site.example.com/docs/category/control-flowweekly0.5https://your-docusaurus-site.example.com/docs/category/core-libraryweekly0.5https://your-docusaurus-site.example.com/docs/category/current-limitationsweekly0.5https://your-docusaurus-site.example.com/docs/category/debugging-failuresweekly0.5https://your-docusaurus-site.example.com/docs/category/designweekly0.5https://your-docusaurus-site.example.com/docs/category/digital-assetsweekly0.5https://your-docusaurus-site.example.com/docs/category/extending-sector9weekly0.5https://your-docusaurus-site.example.com/docs/category/footprintsweekly0.5https://your-docusaurus-site.example.com/docs/category/functionsweekly0.5https://your-docusaurus-site.example.com/docs/category/getting-startedweekly0.5https://your-docusaurus-site.example.com/docs/category/ghost-modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/ghost-stateweekly0.5https://your-docusaurus-site.example.com/docs/category/internal-modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/language-fundamentalsweekly0.5https://your-docusaurus-site.example.com/docs/category/lemmasweekly0.5https://your-docusaurus-site.example.com/docs/category/logical-operatorsweekly0.5https://your-docusaurus-site.example.com/docs/category/loop-invariantsweekly0.5https://your-docusaurus-site.example.com/docs/category/message-semanticsweekly0.5https://your-docusaurus-site.example.com/docs/category/migration-guideweekly0.5https://your-docusaurus-site.example.com/docs/category/modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/mutable-modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/mutable-recordsweekly0.5https://your-docusaurus-site.example.com/docs/category/numeric-verificationweekly0.5https://your-docusaurus-site.example.com/docs/category/old-expressionsweekly0.5https://your-docusaurus-site.example.com/docs/category/output-formatsweekly0.5https://your-docusaurus-site.example.com/docs/category/pattern-matchingweekly0.5https://your-docusaurus-site.example.com/docs/category/pattern-modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/performance-tipsweekly0.5https://your-docusaurus-site.example.com/docs/category/permission-modelweekly0.5https://your-docusaurus-site.example.com/docs/category/primitive-typesweekly0.5https://your-docusaurus-site.example.com/docs/category/protocol-modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/protocol-patternsweekly0.5https://your-docusaurus-site.example.com/docs/category/pure-functionsweekly0.5https://your-docusaurus-site.example.com/docs/category/pure-modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/quantifiersweekly0.5https://your-docusaurus-site.example.com/docs/category/shared-functionsweekly0.5https://your-docusaurus-site.example.com/docs/category/spec-collectionsweekly0.5https://your-docusaurus-site.example.com/docs/category/state-persistenceweekly0.5https://your-docusaurus-site.example.com/docs/category/test-organizationweekly0.5https://your-docusaurus-site.example.com/docs/category/token-modulesweekly0.5https://your-docusaurus-site.example.com/docs/category/trusted-codeweekly0.5https://your-docusaurus-site.example.com/docs/category/type-systemweekly0.5https://your-docusaurus-site.example.com/docs/category/vdd-tutorialsweekly0.5https://your-docusaurus-site.example.com/docs/category/verification-flagsweekly0.5https://your-docusaurus-site.example.com/docs/category/verification-fundamentalsweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/ci-cd/incrementalweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/ci-cd/regressionweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/ci-cd/runningweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/cli-commands/checkweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/cli-commands/compileweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/cli-commands/interpretweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/cli-commands/verifyweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/cli-commands/viperweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/debugging/assertionsweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/debugging/counterexamplesweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/debugging/invariantsweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/debugging/preconditionsweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/debugging/reading-errorsweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/extending/pipelineweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/extending/testsweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/extending/trusted-baseweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/faq/weekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/glossary/weekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/limitations/aliasingweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/limitations/runtimeweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/limitations/schedulingweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/limitations/terminationweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/limitations/verified-subsetweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/migration/from-motokoweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/migration/from-otherweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/output-formats/counterexampleweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/output-formats/humanweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/output-formats/jsonweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/output-formats/toonweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/performance/modularweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/performance/oldweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/performance/triggersweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/test-organization/goldensweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/test-organization/levelsweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/test-organization/namingweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/verification-flags/deterministicweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/verification-flags/int-modeweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/verification-flags/parallelismweekly0.5https://your-docusaurus-site.example.com/docs/cli-workflow/verification-flags/timeoutweekly0.5https://your-docusaurus-site.example.com/docs/core-library/collectionsweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/DivAddBoundsIntweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/DivAddBoundsNatweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/Intweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/IntAbsweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/IntDivModweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/IntOrderweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/IntPowweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/MinMaxweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/Natweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/NatDivModweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/NatOrderweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/NatPowweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/WrapInt16weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/WrapInt32weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/WrapInt64weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/WrapInt8weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/WrapNat16weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/WrapNat32weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/WrapNat64weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/axiom/WrapNat8weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Blobweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Boolweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/CertifiedDataweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Charweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Cyclesweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Debugweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Errorweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Floatweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/ghost/Mapweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/ghost/Multisetweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/ghost/Seqweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/ghost/Setweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Intweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Int16weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Int32weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Int8weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/internal/BTreeHelperweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/InternetComputerweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Iterweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/mutable/MBMapweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Natweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Nat16weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Nat32weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Nat8weekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Optionweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Orderweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/pattern/ICRCLedgerweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/pattern/MapSummaryweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/pattern/SimpleLedgerweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Principalweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/protocol/libweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/pure/BMapweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/pure/BMapInternalweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/pure/BSeqweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Regionweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Resultweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Runtimeweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Stackweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Textweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Timeweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Timerweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/token/Fungibleweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/Typesweekly0.5https://your-docusaurus-site.example.com/docs/core-library/modules/VarArrayweekly0.5https://your-docusaurus-site.example.com/docs/core-library/numericweekly0.5https://your-docusaurus-site.example.com/docs/core-library/overviewweekly0.5https://your-docusaurus-site.example.com/docs/core-library/pattern-token-protocolweekly0.5https://your-docusaurus-site.example.com/docs/core-library/pure-mapweekly0.5https://your-docusaurus-site.example.com/docs/core-library/spec-ghost-axiomsweekly0.5https://your-docusaurus-site.example.com/docs/core-library/system-runtimeweekly0.5https://your-docusaurus-site.example.com/docs/core-library/text-blob-charweekly0.5https://your-docusaurus-site.example.com/docs/core-library/types-utilitiesweekly0.5https://your-docusaurus-site.example.com/docs/design/actor_boundary_invariant_modelweekly0.5https://your-docusaurus-site.example.com/docs/design/algebraic_framing_effect_inferenceweekly0.5https://your-docusaurus-site.example.com/docs/design/async_error_recoveryweekly0.5https://your-docusaurus-site.example.com/docs/design/benchmarkingweekly0.5https://your-docusaurus-site.example.com/docs/design/bigpictureweekly0.5https://your-docusaurus-site.example.com/docs/design/bitcoinlikeweekly0.5https://your-docusaurus-site.example.com/docs/design/code_identity_runtime_projectionweekly0.5https://your-docusaurus-site.example.com/docs/design/collection_axiomatization_defiweekly0.5https://your-docusaurus-site.example.com/docs/design/comparison_state_of_the_artweekly0.5https://your-docusaurus-site.example.com/docs/design/daoweekly0.5https://your-docusaurus-site.example.com/docs/design/edemoweekly0.5https://your-docusaurus-site.example.com/docs/design/gametheoryweekly0.5https://your-docusaurus-site.example.com/docs/design/higher_order_function_verificationweekly0.5https://your-docusaurus-site.example.com/docs/design/modular_verificationweekly0.5https://your-docusaurus-site.example.com/docs/design/monetization_aiweekly0.5https://your-docusaurus-site.example.com/docs/design/recommendweekly0.5https://your-docusaurus-site.example.com/docs/design/resource_logic_token_type_systemweekly0.5https://your-docusaurus-site.example.com/docs/design/scoreweekly0.5https://your-docusaurus-site.example.com/docs/design/semantic_bridge_consistencyweekly0.5https://your-docusaurus-site.example.com/docs/design/smt_solver_engineeringweekly0.5https://your-docusaurus-site.example.com/docs/design/specification_ergonomicsweekly0.5https://your-docusaurus-site.example.com/docs/design/strategic-overviewweekly0.5https://your-docusaurus-site.example.com/docs/design/trusted_computing_baseweekly0.5https://your-docusaurus-site.example.com/docs/getting-started/differences-from-motokoweekly0.5https://your-docusaurus-site.example.com/docs/getting-started/first-verified-programweekly0.5https://your-docusaurus-site.example.com/docs/getting-started/installationweekly0.5https://your-docusaurus-site.example.com/docs/getting-started/mental-modelweekly0.5https://your-docusaurus-site.example.com/docs/getting-started/project-structureweekly0.5https://your-docusaurus-site.example.com/docs/getting-started/quick-referenceweekly0.5https://your-docusaurus-site.example.com/docs/getting-started/understanding-outputweekly0.5https://your-docusaurus-site.example.com/docs/getting-started/what-is-sector9weekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/basic-syntax/commentsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/basic-syntax/printing-debuggingweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/basic-syntax/variables-bindingsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/composite-types/arraysweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/composite-types/optionsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/composite-types/recordsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/composite-types/tuplesweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/composite-types/variantsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/control-flow/conditionalsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/control-flow/error-handlingweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/control-flow/loopsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/control-flow/pattern-matchingweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/functions/anonymousweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/functions/declarationsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/functions/genericsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/functions/higher-orderweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/modules/definitionsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/modules/first-classweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/modules/importsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/modules/module-typesweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/primitive-types/binary-dataweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/primitive-types/fixed-widthweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/primitive-types/floating-pointweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/primitive-types/integersweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/primitive-types/natural-numbersweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/primitive-types/text-charactersweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/type-system/aliasesweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/type-system/function-contractsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/type-system/genericsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/type-system/operatorsweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/type-system/subtypingweekly0.5https://your-docusaurus-site.example.com/docs/language-fundamentals/type-system/verified-subtypingweekly0.5https://your-docusaurus-site.example.com/docs/tutorials/app2-invariantsweekly0.5https://your-docusaurus-site.example.com/docs/tutorials/boundary-only-to-solutionweekly0.5https://your-docusaurus-site.example.com/docs/tutorials/two-functions-no-crossweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/actor-invariants/declaringweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/actor-invariants/patternsweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/actor-invariants/preservationweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/assertions/choosingweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/assertions/runtimeweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/assertions/staticweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/assertions/trapweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/contracts/contract-subtypingweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/contracts/contract-typesweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/contracts/ensuresweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/contracts/entry-requiresweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/contracts/multipleweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/contracts/requiresweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/contracts/resultweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/footprints/frameweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/footprints/inferenceweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/footprints/modifiesweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/footprints/readsweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/logical-operators/combiningweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/logical-operators/iffweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/logical-operators/impliesweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/loop-invariants/annotationweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/loop-invariants/discoveryweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/loop-invariants/inductiveweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/old-expressions/basicweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/old-expressions/patternsweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/old-expressions/restrictionsweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/pure-functions/in-contractsweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/pure-functions/modifierweekly0.5https://your-docusaurus-site.example.com/docs/verification-fundamentals/pure-functions/restrictionsweekly0.5https://your-docusaurus-site.example.com/weekly0.5