effx
API reference@effx/compilerlift

model

API reference for @effx/compiler/lift/model

model.ts overview


Exports Grouped by Category


utils

BindingRecord

An application's HttpApiBuilder.group(root, "group", h => …) binding. The key set is always recordable; a handler or guard reference exists only where the frontend resolved an exported symbol, so the core never invents one. authorizeCalls lists the calls of the application's authorization function it located.

Signature

declare const BindingRecord: Schema.Struct<{
  readonly symbol: Schema.optionalKey<
    Schema.Struct<{
      readonly module: Schema.String
      readonly export: Schema.String
      readonly member: Schema.optionalKey<Schema.String>
    }>
  >
  readonly range: Schema.Struct<{
    readonly file: Schema.String
    readonly start: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
  }>
  readonly root: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly group: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly registrations: Schema.$Array<
    Schema.TaggedUnion<{
      readonly Unsupported: Schema.TaggedStruct<
        "Unsupported",
        {
          readonly finding: Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        }
      >
      readonly Registered: Schema.TaggedStruct<
        "Registered",
        {
          readonly kind: Schema.Literals<readonly ["raw", "normal"]>
          readonly key: Schema.TaggedUnion<{
            readonly Lowered: Schema.TaggedStruct<
              "Lowered",
              {
                readonly term: Schema.Codec<Term, Term, never, never>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly spans: Schema.$Array<
                  Schema.Struct<{
                    readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                  }>
                >
              }
            >
            readonly Unlowered: Schema.TaggedStruct<
              "Unlowered",
              {
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly findings: Schema.NonEmptyArray<
                  Schema.Struct<{
                    readonly kind: Schema.Literals<
                      readonly [
                        "spread",
                        "computed-key",
                        "non-literal",
                        "local-reference",
                        "closure",
                        "unresolved",
                        "unsupported-syntax"
                      ]
                    >
                    readonly construct: Schema.String
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly enclosingCall: Schema.optionalKey<
                      Schema.Struct<{
                        readonly callee: Schema.Struct<{
                          readonly module: Schema.String
                          readonly export: Schema.String
                          readonly member: Schema.optionalKey<Schema.String>
                        }>
                      }>
                    >
                  }>
                >
              }
            >
          }>
          readonly handler: Schema.TaggedUnion<{
            readonly Exported: Schema.TaggedStruct<
              "Exported",
              {
                readonly ref: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }
            >
            readonly Inline: Schema.TaggedStruct<
              "Inline",
              {
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }
            >
            readonly Unavailable: Schema.TaggedStruct<
              "Unavailable",
              {
                readonly finding: Schema.Struct<{
                  readonly kind: Schema.Literals<
                    readonly [
                      "spread",
                      "computed-key",
                      "non-literal",
                      "local-reference",
                      "closure",
                      "unresolved",
                      "unsupported-syntax"
                    ]
                  >
                  readonly construct: Schema.String
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly enclosingCall: Schema.optionalKey<
                    Schema.Struct<{
                      readonly callee: Schema.Struct<{
                        readonly module: Schema.String
                        readonly export: Schema.String
                        readonly member: Schema.optionalKey<Schema.String>
                      }>
                    }>
                  >
                }>
              }
            >
          }>
          readonly range: Schema.Struct<{
            readonly file: Schema.String
            readonly start: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
            readonly end: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
          }>
        }
      >
    }>
  >
  readonly authorizeCalls: Schema.$Array<
    Schema.Struct<{
      readonly file: Schema.String
      readonly start: Schema.Struct<{
        readonly offset: Schema.Int
        readonly line: Schema.Int
        readonly col: Schema.Int
      }>
      readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    }>
  >
}>

BindingRecord (type alias)

Signature

type BindingRecord = typeof BindingRecord.Type

DeclarationForm

const X = … or class X extends … {}: the two declaration forms of groups and roots.

Signature

declare const DeclarationForm: Schema.Literals<readonly ["const", "class"]>

DeclarationForm (type alias)

Signature

type DeclarationForm = typeof DeclarationForm.Type

DefinitionRecord

One user annotation definition recorded from source (spec 0020, 0019 §3.1 source facts): the export that declares it, the literal annotation name, and the Context key of its effect clause when the source declares one. ref and key.ref identity the declaring declarations the same exportedSymbol resolution every model reference uses; key.id is the key's literal key id, which a definition's runtime effect.key.key must equal. Inert data keyed by reference identity: no brand object, no evaluated application value and no second declaration inventory ever enters it.

Signature

declare const DefinitionRecord: Schema.Struct<{
  readonly ref: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly member: Schema.optionalKey<Schema.String>
  }>
  readonly name: Schema.String
  readonly key: Schema.optionalKey<
    Schema.Struct<{
      readonly ref: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly id: Schema.String
    }>
  >
}>

DefinitionRecord (type alias)

Signature

type DefinitionRecord = typeof DefinitionRecord.Type

EffectModel

Everything the frontend knows of one resolved project's Effect declarations.

Signature

declare const EffectModel: Schema.Struct<{
  readonly project: Schema.Struct<{
    readonly naming: Schema.optionalKey<
      Schema.Struct<{ readonly problemIdentifier: Schema.optionalKey<Schema.String> }>
    >
    readonly target: Schema.Literals<readonly ["effect-4.0"]>
    readonly emit: Schema.Literals<readonly ["contract", "handlers", "all"]>
    readonly strictAccess: Schema.optionalKey<Schema.Boolean>
    readonly allowImportingTsExtensions: Schema.Boolean
    readonly canonicalImportBase: Schema.String
    readonly outputDir: Schema.String
  }>
  readonly files: Schema.$Array<
    Schema.Struct<{
      readonly file: Schema.String
      readonly module: Schema.String
      readonly idPath: Schema.String
      readonly sha256: Schema.String
      readonly exports: Schema.$Array<Schema.String>
      readonly topLevel: Schema.$Array<Schema.String>
      readonly imports: Schema.$Array<
        Schema.TaggedUnion<{
          readonly Resolved: Schema.TaggedStruct<
            "Resolved",
            {
              readonly specifier: Schema.String
              readonly module: Schema.String
              readonly kind: Schema.Literals<readonly ["value", "type"]>
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly bindings: Schema.$Array<
                Schema.Struct<{
                  readonly local: Schema.String
                  readonly ref: Schema.Struct<{
                    readonly module: Schema.String
                    readonly export: Schema.String
                    readonly member: Schema.optionalKey<Schema.String>
                  }>
                }>
              >
            }
          >
          readonly Unresolved: Schema.TaggedStruct<
            "Unresolved",
            {
              readonly specifier: Schema.String
              readonly kind: Schema.Literals<readonly ["value", "type", "dynamic"]>
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly bindings: Schema.$Array<
                Schema.Struct<{
                  readonly local: Schema.String
                  readonly ref: Schema.Struct<{
                    readonly module: Schema.String
                    readonly export: Schema.String
                    readonly member: Schema.optionalKey<Schema.String>
                  }>
                }>
              >
            }
          >
        }>
      >
      readonly importsEnd: Schema.Struct<{
        readonly offset: Schema.Int
        readonly line: Schema.Int
        readonly col: Schema.Int
      }>
      readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    }>
  >
  readonly natives: Schema.$Array<
    Schema.Struct<{
      readonly kind: Schema.Literals<
        readonly [
          "HttpApiEndpoint",
          "HttpApiGroup",
          "HttpApi",
          "HttpApiSchema",
          "HttpApiBuilder",
          "OpenApi",
          "Schema",
          "SchemaAST"
        ]
      >
      readonly target: Schema.Literals<readonly ["effect-4.0"]>
      readonly ref: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly member: Schema.optionalKey<Schema.String>
    }>
  >
  readonly schemas: Schema.$Array<
    Schema.Struct<{
      readonly ref: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly symbolId: Schema.brand<Schema.String, "effx/StableId">
      }>
      readonly allKeys: Schema.optionalKey<Schema.$Array<Schema.String>>
      readonly requiredKeys: Schema.optionalKey<Schema.$Array<Schema.String>>
      readonly headers: Schema.optionalKey<Schema.Literal<true>>
    }>
  >
  readonly markers: Schema.$Array<
    Schema.Struct<{
      readonly ref: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly security: Schema.Boolean
    }>
  >
  readonly values: Schema.$Array<
    Schema.Struct<{
      readonly symbol: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly init: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
    }>
  >
  readonly localValues: Schema.$Array<
    Schema.Struct<{
      readonly kind: Schema.Literal<"const">
      readonly id: Schema.Struct<{
        readonly file: Schema.String
        readonly offset: Schema.Int
        readonly name: Schema.String
      }>
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly init: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
    }>
  >
  readonly localCalls: Schema.$Array<
    Schema.Struct<{
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly callee: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly argument: Schema.Struct<{
        readonly file: Schema.String
        readonly offset: Schema.Int
        readonly name: Schema.String
      }>
    }>
  >
  readonly wrappers: Schema.$Array<
    Schema.Struct<{
      readonly helper: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly headers: Schema.TaggedUnion<{
        readonly Unknown: Schema.TaggedStruct<"Unknown", {}>
        readonly Inline: Schema.TaggedStruct<
          "Inline",
          {
            readonly expression: Schema.TaggedUnion<{
              readonly Lowered: Schema.TaggedStruct<
                "Lowered",
                {
                  readonly term: Schema.Codec<Term, Term, never, never>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly spans: Schema.$Array<
                    Schema.Struct<{
                      readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                    }>
                  >
                }
              >
              readonly Unlowered: Schema.TaggedStruct<
                "Unlowered",
                {
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly findings: Schema.NonEmptyArray<
                    Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  >
                }
              >
            }>
          }
        >
        readonly Named: Schema.TaggedStruct<
          "Named",
          {
            readonly ref: Schema.Struct<{
              readonly module: Schema.String
              readonly export: Schema.String
              readonly symbolId: Schema.brand<Schema.String, "effx/StableId">
            }>
          }
        >
      }>
    }>
  >
  readonly roots: Schema.$Array<
    Schema.Struct<{
      readonly symbol: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly form: Schema.Literals<readonly ["const", "class"]>
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly callee: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly id: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly steps: Schema.$Array<
        Schema.TaggedUnion<{
          readonly Unsupported: Schema.TaggedStruct<
            "Unsupported",
            {
              readonly finding: Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            }
          >
          readonly Method: Schema.TaggedStruct<
            "Method",
            {
              readonly name: Schema.String
              readonly args: Schema.$Array<
                Schema.TaggedUnion<{
                  readonly Lowered: Schema.TaggedStruct<
                    "Lowered",
                    {
                      readonly term: Schema.Codec<Term, Term, never, never>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly spans: Schema.$Array<
                        Schema.Struct<{
                          readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                        }>
                      >
                    }
                  >
                  readonly Unlowered: Schema.TaggedStruct<
                    "Unlowered",
                    {
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly findings: Schema.NonEmptyArray<
                        Schema.Struct<{
                          readonly kind: Schema.Literals<
                            readonly [
                              "spread",
                              "computed-key",
                              "non-literal",
                              "local-reference",
                              "closure",
                              "unresolved",
                              "unsupported-syntax"
                            ]
                          >
                          readonly construct: Schema.String
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly enclosingCall: Schema.optionalKey<
                            Schema.Struct<{
                              readonly callee: Schema.Struct<{
                                readonly module: Schema.String
                                readonly export: Schema.String
                                readonly member: Schema.optionalKey<Schema.String>
                              }>
                            }>
                          >
                        }>
                      >
                    }
                  >
                }>
              >
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
            }
          >
          readonly Apply: Schema.TaggedStruct<
            "Apply",
            {
              readonly form: Schema.Literals<readonly ["pipe", "wrapper"]>
              readonly callee: Schema.TaggedUnion<{
                readonly Lowered: Schema.TaggedStruct<
                  "Lowered",
                  {
                    readonly term: Schema.Codec<Term, Term, never, never>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly spans: Schema.$Array<
                      Schema.Struct<{
                        readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                      }>
                    >
                  }
                >
                readonly Unlowered: Schema.TaggedStruct<
                  "Unlowered",
                  {
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly findings: Schema.NonEmptyArray<
                      Schema.Struct<{
                        readonly kind: Schema.Literals<
                          readonly [
                            "spread",
                            "computed-key",
                            "non-literal",
                            "local-reference",
                            "closure",
                            "unresolved",
                            "unsupported-syntax"
                          ]
                        >
                        readonly construct: Schema.String
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                        readonly enclosingCall: Schema.optionalKey<
                          Schema.Struct<{
                            readonly callee: Schema.Struct<{
                              readonly module: Schema.String
                              readonly export: Schema.String
                              readonly member: Schema.optionalKey<Schema.String>
                            }>
                          }>
                        >
                      }>
                    >
                  }
                >
              }>
              readonly args: Schema.$Array<
                Schema.TaggedUnion<{
                  readonly Lowered: Schema.TaggedStruct<
                    "Lowered",
                    {
                      readonly term: Schema.Codec<Term, Term, never, never>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly spans: Schema.$Array<
                        Schema.Struct<{
                          readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                        }>
                      >
                    }
                  >
                  readonly Unlowered: Schema.TaggedStruct<
                    "Unlowered",
                    {
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly findings: Schema.NonEmptyArray<
                        Schema.Struct<{
                          readonly kind: Schema.Literals<
                            readonly [
                              "spread",
                              "computed-key",
                              "non-literal",
                              "local-reference",
                              "closure",
                              "unresolved",
                              "unsupported-syntax"
                            ]
                          >
                          readonly construct: Schema.String
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly enclosingCall: Schema.optionalKey<
                            Schema.Struct<{
                              readonly callee: Schema.Struct<{
                                readonly module: Schema.String
                                readonly export: Schema.String
                                readonly member: Schema.optionalKey<Schema.String>
                              }>
                            }>
                          >
                        }>
                      >
                    }
                  >
                }>
              >
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
            }
          >
        }>
      >
    }>
  >
  readonly groups: Schema.$Array<
    Schema.Struct<{
      readonly symbol: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly form: Schema.Literals<readonly ["const", "class"]>
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly callee: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly id: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly options: Schema.TaggedUnion<{
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
        readonly Absent: Schema.TaggedStruct<"Absent", {}>
        readonly Entries: Schema.TaggedStruct<
          "Entries",
          {
            readonly entries: Schema.$Array<
              Schema.TaggedUnion<{
                readonly Unsupported: Schema.TaggedStruct<
                  "Unsupported",
                  {
                    readonly finding: Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  }
                >
                readonly Property: Schema.TaggedStruct<
                  "Property",
                  {
                    readonly name: Schema.String
                    readonly value: Schema.TaggedUnion<{
                      readonly Lowered: Schema.TaggedStruct<
                        "Lowered",
                        {
                          readonly term: Schema.Codec<Term, Term, never, never>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly spans: Schema.$Array<
                            Schema.Struct<{
                              readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                              readonly range: Schema.Struct<{
                                readonly file: Schema.String
                                readonly start: Schema.Struct<{
                                  readonly offset: Schema.Int
                                  readonly line: Schema.Int
                                  readonly col: Schema.Int
                                }>
                                readonly end: Schema.Struct<{
                                  readonly offset: Schema.Int
                                  readonly line: Schema.Int
                                  readonly col: Schema.Int
                                }>
                              }>
                            }>
                          >
                        }
                      >
                      readonly Unlowered: Schema.TaggedStruct<
                        "Unlowered",
                        {
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly findings: Schema.NonEmptyArray<
                            Schema.Struct<{
                              readonly kind: Schema.Literals<
                                readonly [
                                  "spread",
                                  "computed-key",
                                  "non-literal",
                                  "local-reference",
                                  "closure",
                                  "unresolved",
                                  "unsupported-syntax"
                                ]
                              >
                              readonly construct: Schema.String
                              readonly range: Schema.Struct<{
                                readonly file: Schema.String
                                readonly start: Schema.Struct<{
                                  readonly offset: Schema.Int
                                  readonly line: Schema.Int
                                  readonly col: Schema.Int
                                }>
                                readonly end: Schema.Struct<{
                                  readonly offset: Schema.Int
                                  readonly line: Schema.Int
                                  readonly col: Schema.Int
                                }>
                              }>
                              readonly enclosingCall: Schema.optionalKey<
                                Schema.Struct<{
                                  readonly callee: Schema.Struct<{
                                    readonly module: Schema.String
                                    readonly export: Schema.String
                                    readonly member: Schema.optionalKey<Schema.String>
                                  }>
                                }>
                              >
                            }>
                          >
                        }
                      >
                    }>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                  }
                >
              }>
            >
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }
        >
      }>
      readonly steps: Schema.$Array<
        Schema.TaggedUnion<{
          readonly Unsupported: Schema.TaggedStruct<
            "Unsupported",
            {
              readonly finding: Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            }
          >
          readonly Method: Schema.TaggedStruct<
            "Method",
            {
              readonly name: Schema.String
              readonly args: Schema.$Array<
                Schema.TaggedUnion<{
                  readonly Lowered: Schema.TaggedStruct<
                    "Lowered",
                    {
                      readonly term: Schema.Codec<Term, Term, never, never>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly spans: Schema.$Array<
                        Schema.Struct<{
                          readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                        }>
                      >
                    }
                  >
                  readonly Unlowered: Schema.TaggedStruct<
                    "Unlowered",
                    {
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly findings: Schema.NonEmptyArray<
                        Schema.Struct<{
                          readonly kind: Schema.Literals<
                            readonly [
                              "spread",
                              "computed-key",
                              "non-literal",
                              "local-reference",
                              "closure",
                              "unresolved",
                              "unsupported-syntax"
                            ]
                          >
                          readonly construct: Schema.String
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly enclosingCall: Schema.optionalKey<
                            Schema.Struct<{
                              readonly callee: Schema.Struct<{
                                readonly module: Schema.String
                                readonly export: Schema.String
                                readonly member: Schema.optionalKey<Schema.String>
                              }>
                            }>
                          >
                        }>
                      >
                    }
                  >
                }>
              >
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
            }
          >
          readonly Apply: Schema.TaggedStruct<
            "Apply",
            {
              readonly form: Schema.Literals<readonly ["pipe", "wrapper"]>
              readonly callee: Schema.TaggedUnion<{
                readonly Lowered: Schema.TaggedStruct<
                  "Lowered",
                  {
                    readonly term: Schema.Codec<Term, Term, never, never>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly spans: Schema.$Array<
                      Schema.Struct<{
                        readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                      }>
                    >
                  }
                >
                readonly Unlowered: Schema.TaggedStruct<
                  "Unlowered",
                  {
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly findings: Schema.NonEmptyArray<
                      Schema.Struct<{
                        readonly kind: Schema.Literals<
                          readonly [
                            "spread",
                            "computed-key",
                            "non-literal",
                            "local-reference",
                            "closure",
                            "unresolved",
                            "unsupported-syntax"
                          ]
                        >
                        readonly construct: Schema.String
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                        readonly enclosingCall: Schema.optionalKey<
                          Schema.Struct<{
                            readonly callee: Schema.Struct<{
                              readonly module: Schema.String
                              readonly export: Schema.String
                              readonly member: Schema.optionalKey<Schema.String>
                            }>
                          }>
                        >
                      }>
                    >
                  }
                >
              }>
              readonly args: Schema.$Array<
                Schema.TaggedUnion<{
                  readonly Lowered: Schema.TaggedStruct<
                    "Lowered",
                    {
                      readonly term: Schema.Codec<Term, Term, never, never>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly spans: Schema.$Array<
                        Schema.Struct<{
                          readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                        }>
                      >
                    }
                  >
                  readonly Unlowered: Schema.TaggedStruct<
                    "Unlowered",
                    {
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly findings: Schema.NonEmptyArray<
                        Schema.Struct<{
                          readonly kind: Schema.Literals<
                            readonly [
                              "spread",
                              "computed-key",
                              "non-literal",
                              "local-reference",
                              "closure",
                              "unresolved",
                              "unsupported-syntax"
                            ]
                          >
                          readonly construct: Schema.String
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly enclosingCall: Schema.optionalKey<
                            Schema.Struct<{
                              readonly callee: Schema.Struct<{
                                readonly module: Schema.String
                                readonly export: Schema.String
                                readonly member: Schema.optionalKey<Schema.String>
                              }>
                            }>
                          >
                        }>
                      >
                    }
                  >
                }>
              >
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
            }
          >
        }>
      >
    }>
  >
  readonly endpoints: Schema.$Array<
    Schema.Struct<{
      readonly symbol: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly callee: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly key: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly path: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly options: Schema.TaggedUnion<{
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
        readonly Absent: Schema.TaggedStruct<"Absent", {}>
        readonly Entries: Schema.TaggedStruct<
          "Entries",
          {
            readonly entries: Schema.$Array<
              Schema.TaggedUnion<{
                readonly Unsupported: Schema.TaggedStruct<
                  "Unsupported",
                  {
                    readonly finding: Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  }
                >
                readonly Property: Schema.TaggedStruct<
                  "Property",
                  {
                    readonly name: Schema.String
                    readonly value: Schema.TaggedUnion<{
                      readonly Lowered: Schema.TaggedStruct<
                        "Lowered",
                        {
                          readonly term: Schema.Codec<Term, Term, never, never>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly spans: Schema.$Array<
                            Schema.Struct<{
                              readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                              readonly range: Schema.Struct<{
                                readonly file: Schema.String
                                readonly start: Schema.Struct<{
                                  readonly offset: Schema.Int
                                  readonly line: Schema.Int
                                  readonly col: Schema.Int
                                }>
                                readonly end: Schema.Struct<{
                                  readonly offset: Schema.Int
                                  readonly line: Schema.Int
                                  readonly col: Schema.Int
                                }>
                              }>
                            }>
                          >
                        }
                      >
                      readonly Unlowered: Schema.TaggedStruct<
                        "Unlowered",
                        {
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly findings: Schema.NonEmptyArray<
                            Schema.Struct<{
                              readonly kind: Schema.Literals<
                                readonly [
                                  "spread",
                                  "computed-key",
                                  "non-literal",
                                  "local-reference",
                                  "closure",
                                  "unresolved",
                                  "unsupported-syntax"
                                ]
                              >
                              readonly construct: Schema.String
                              readonly range: Schema.Struct<{
                                readonly file: Schema.String
                                readonly start: Schema.Struct<{
                                  readonly offset: Schema.Int
                                  readonly line: Schema.Int
                                  readonly col: Schema.Int
                                }>
                                readonly end: Schema.Struct<{
                                  readonly offset: Schema.Int
                                  readonly line: Schema.Int
                                  readonly col: Schema.Int
                                }>
                              }>
                              readonly enclosingCall: Schema.optionalKey<
                                Schema.Struct<{
                                  readonly callee: Schema.Struct<{
                                    readonly module: Schema.String
                                    readonly export: Schema.String
                                    readonly member: Schema.optionalKey<Schema.String>
                                  }>
                                }>
                              >
                            }>
                          >
                        }
                      >
                    }>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                  }
                >
              }>
            >
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }
        >
      }>
      readonly steps: Schema.$Array<
        Schema.TaggedUnion<{
          readonly Unsupported: Schema.TaggedStruct<
            "Unsupported",
            {
              readonly finding: Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            }
          >
          readonly Method: Schema.TaggedStruct<
            "Method",
            {
              readonly name: Schema.String
              readonly args: Schema.$Array<
                Schema.TaggedUnion<{
                  readonly Lowered: Schema.TaggedStruct<
                    "Lowered",
                    {
                      readonly term: Schema.Codec<Term, Term, never, never>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly spans: Schema.$Array<
                        Schema.Struct<{
                          readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                        }>
                      >
                    }
                  >
                  readonly Unlowered: Schema.TaggedStruct<
                    "Unlowered",
                    {
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly findings: Schema.NonEmptyArray<
                        Schema.Struct<{
                          readonly kind: Schema.Literals<
                            readonly [
                              "spread",
                              "computed-key",
                              "non-literal",
                              "local-reference",
                              "closure",
                              "unresolved",
                              "unsupported-syntax"
                            ]
                          >
                          readonly construct: Schema.String
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly enclosingCall: Schema.optionalKey<
                            Schema.Struct<{
                              readonly callee: Schema.Struct<{
                                readonly module: Schema.String
                                readonly export: Schema.String
                                readonly member: Schema.optionalKey<Schema.String>
                              }>
                            }>
                          >
                        }>
                      >
                    }
                  >
                }>
              >
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
            }
          >
          readonly Apply: Schema.TaggedStruct<
            "Apply",
            {
              readonly form: Schema.Literals<readonly ["pipe", "wrapper"]>
              readonly callee: Schema.TaggedUnion<{
                readonly Lowered: Schema.TaggedStruct<
                  "Lowered",
                  {
                    readonly term: Schema.Codec<Term, Term, never, never>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly spans: Schema.$Array<
                      Schema.Struct<{
                        readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                      }>
                    >
                  }
                >
                readonly Unlowered: Schema.TaggedStruct<
                  "Unlowered",
                  {
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly findings: Schema.NonEmptyArray<
                      Schema.Struct<{
                        readonly kind: Schema.Literals<
                          readonly [
                            "spread",
                            "computed-key",
                            "non-literal",
                            "local-reference",
                            "closure",
                            "unresolved",
                            "unsupported-syntax"
                          ]
                        >
                        readonly construct: Schema.String
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                        readonly enclosingCall: Schema.optionalKey<
                          Schema.Struct<{
                            readonly callee: Schema.Struct<{
                              readonly module: Schema.String
                              readonly export: Schema.String
                              readonly member: Schema.optionalKey<Schema.String>
                            }>
                          }>
                        >
                      }>
                    >
                  }
                >
              }>
              readonly args: Schema.$Array<
                Schema.TaggedUnion<{
                  readonly Lowered: Schema.TaggedStruct<
                    "Lowered",
                    {
                      readonly term: Schema.Codec<Term, Term, never, never>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly spans: Schema.$Array<
                        Schema.Struct<{
                          readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                        }>
                      >
                    }
                  >
                  readonly Unlowered: Schema.TaggedStruct<
                    "Unlowered",
                    {
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly findings: Schema.NonEmptyArray<
                        Schema.Struct<{
                          readonly kind: Schema.Literals<
                            readonly [
                              "spread",
                              "computed-key",
                              "non-literal",
                              "local-reference",
                              "closure",
                              "unresolved",
                              "unsupported-syntax"
                            ]
                          >
                          readonly construct: Schema.String
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly enclosingCall: Schema.optionalKey<
                            Schema.Struct<{
                              readonly callee: Schema.Struct<{
                                readonly module: Schema.String
                                readonly export: Schema.String
                                readonly member: Schema.optionalKey<Schema.String>
                              }>
                            }>
                          >
                        }>
                      >
                    }
                  >
                }>
              >
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
            }
          >
        }>
      >
    }>
  >
  readonly bindings: Schema.$Array<
    Schema.Struct<{
      readonly symbol: Schema.optionalKey<
        Schema.Struct<{
          readonly module: Schema.String
          readonly export: Schema.String
          readonly member: Schema.optionalKey<Schema.String>
        }>
      >
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly root: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly group: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly registrations: Schema.$Array<
        Schema.TaggedUnion<{
          readonly Unsupported: Schema.TaggedStruct<
            "Unsupported",
            {
              readonly finding: Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            }
          >
          readonly Registered: Schema.TaggedStruct<
            "Registered",
            {
              readonly kind: Schema.Literals<readonly ["raw", "normal"]>
              readonly key: Schema.TaggedUnion<{
                readonly Lowered: Schema.TaggedStruct<
                  "Lowered",
                  {
                    readonly term: Schema.Codec<Term, Term, never, never>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly spans: Schema.$Array<
                      Schema.Struct<{
                        readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                      }>
                    >
                  }
                >
                readonly Unlowered: Schema.TaggedStruct<
                  "Unlowered",
                  {
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly findings: Schema.NonEmptyArray<
                      Schema.Struct<{
                        readonly kind: Schema.Literals<
                          readonly [
                            "spread",
                            "computed-key",
                            "non-literal",
                            "local-reference",
                            "closure",
                            "unresolved",
                            "unsupported-syntax"
                          ]
                        >
                        readonly construct: Schema.String
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                        readonly enclosingCall: Schema.optionalKey<
                          Schema.Struct<{
                            readonly callee: Schema.Struct<{
                              readonly module: Schema.String
                              readonly export: Schema.String
                              readonly member: Schema.optionalKey<Schema.String>
                            }>
                          }>
                        >
                      }>
                    >
                  }
                >
              }>
              readonly handler: Schema.TaggedUnion<{
                readonly Exported: Schema.TaggedStruct<
                  "Exported",
                  {
                    readonly ref: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }
                >
                readonly Inline: Schema.TaggedStruct<
                  "Inline",
                  {
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                  }
                >
                readonly Unavailable: Schema.TaggedStruct<
                  "Unavailable",
                  {
                    readonly finding: Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  }
                >
              }>
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
            }
          >
        }>
      >
      readonly authorizeCalls: Schema.$Array<
        Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
      >
    }>
  >
  readonly definitions: Schema.$Array<
    Schema.Struct<{
      readonly ref: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
      readonly name: Schema.String
      readonly key: Schema.optionalKey<
        Schema.Struct<{
          readonly ref: Schema.Struct<{
            readonly module: Schema.String
            readonly export: Schema.String
            readonly member: Schema.optionalKey<Schema.String>
          }>
          readonly id: Schema.String
        }>
      >
    }>
  >
}>

EffectModel (type alias)

Signature

type EffectModel = typeof EffectModel.Type

EndpointRecord

export const X = HttpApiEndpoint.<verb>(key, path, options) plus its postfix steps. range is the whole declaration statement: its start is where planned exports are inserted. The verb is read by the core from callee, never duplicated here.

Signature

declare const EndpointRecord: Schema.Struct<{
  readonly symbol: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly member: Schema.optionalKey<Schema.String>
  }>
  readonly range: Schema.Struct<{
    readonly file: Schema.String
    readonly start: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
  }>
  readonly callee: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly key: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly path: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly options: Schema.TaggedUnion<{
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
    readonly Absent: Schema.TaggedStruct<"Absent", {}>
    readonly Entries: Schema.TaggedStruct<
      "Entries",
      {
        readonly entries: Schema.$Array<
          Schema.TaggedUnion<{
            readonly Unsupported: Schema.TaggedStruct<
              "Unsupported",
              {
                readonly finding: Schema.Struct<{
                  readonly kind: Schema.Literals<
                    readonly [
                      "spread",
                      "computed-key",
                      "non-literal",
                      "local-reference",
                      "closure",
                      "unresolved",
                      "unsupported-syntax"
                    ]
                  >
                  readonly construct: Schema.String
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly enclosingCall: Schema.optionalKey<
                    Schema.Struct<{
                      readonly callee: Schema.Struct<{
                        readonly module: Schema.String
                        readonly export: Schema.String
                        readonly member: Schema.optionalKey<Schema.String>
                      }>
                    }>
                  >
                }>
              }
            >
            readonly Property: Schema.TaggedStruct<
              "Property",
              {
                readonly name: Schema.String
                readonly value: Schema.TaggedUnion<{
                  readonly Lowered: Schema.TaggedStruct<
                    "Lowered",
                    {
                      readonly term: Schema.Codec<Term, Term, never, never>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly spans: Schema.$Array<
                        Schema.Struct<{
                          readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                        }>
                      >
                    }
                  >
                  readonly Unlowered: Schema.TaggedStruct<
                    "Unlowered",
                    {
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly findings: Schema.NonEmptyArray<
                        Schema.Struct<{
                          readonly kind: Schema.Literals<
                            readonly [
                              "spread",
                              "computed-key",
                              "non-literal",
                              "local-reference",
                              "closure",
                              "unresolved",
                              "unsupported-syntax"
                            ]
                          >
                          readonly construct: Schema.String
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly enclosingCall: Schema.optionalKey<
                            Schema.Struct<{
                              readonly callee: Schema.Struct<{
                                readonly module: Schema.String
                                readonly export: Schema.String
                                readonly member: Schema.optionalKey<Schema.String>
                              }>
                            }>
                          >
                        }>
                      >
                    }
                  >
                }>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }
            >
          }>
        >
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
      }
    >
  }>
  readonly steps: Schema.$Array<
    Schema.TaggedUnion<{
      readonly Unsupported: Schema.TaggedStruct<
        "Unsupported",
        {
          readonly finding: Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        }
      >
      readonly Method: Schema.TaggedStruct<
        "Method",
        {
          readonly name: Schema.String
          readonly args: Schema.$Array<
            Schema.TaggedUnion<{
              readonly Lowered: Schema.TaggedStruct<
                "Lowered",
                {
                  readonly term: Schema.Codec<Term, Term, never, never>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly spans: Schema.$Array<
                    Schema.Struct<{
                      readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                    }>
                  >
                }
              >
              readonly Unlowered: Schema.TaggedStruct<
                "Unlowered",
                {
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly findings: Schema.NonEmptyArray<
                    Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  >
                }
              >
            }>
          >
          readonly range: Schema.Struct<{
            readonly file: Schema.String
            readonly start: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
            readonly end: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
          }>
        }
      >
      readonly Apply: Schema.TaggedStruct<
        "Apply",
        {
          readonly form: Schema.Literals<readonly ["pipe", "wrapper"]>
          readonly callee: Schema.TaggedUnion<{
            readonly Lowered: Schema.TaggedStruct<
              "Lowered",
              {
                readonly term: Schema.Codec<Term, Term, never, never>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly spans: Schema.$Array<
                  Schema.Struct<{
                    readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                  }>
                >
              }
            >
            readonly Unlowered: Schema.TaggedStruct<
              "Unlowered",
              {
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly findings: Schema.NonEmptyArray<
                  Schema.Struct<{
                    readonly kind: Schema.Literals<
                      readonly [
                        "spread",
                        "computed-key",
                        "non-literal",
                        "local-reference",
                        "closure",
                        "unresolved",
                        "unsupported-syntax"
                      ]
                    >
                    readonly construct: Schema.String
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly enclosingCall: Schema.optionalKey<
                      Schema.Struct<{
                        readonly callee: Schema.Struct<{
                          readonly module: Schema.String
                          readonly export: Schema.String
                          readonly member: Schema.optionalKey<Schema.String>
                        }>
                      }>
                    >
                  }>
                >
              }
            >
          }>
          readonly args: Schema.$Array<
            Schema.TaggedUnion<{
              readonly Lowered: Schema.TaggedStruct<
                "Lowered",
                {
                  readonly term: Schema.Codec<Term, Term, never, never>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly spans: Schema.$Array<
                    Schema.Struct<{
                      readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                    }>
                  >
                }
              >
              readonly Unlowered: Schema.TaggedStruct<
                "Unlowered",
                {
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly findings: Schema.NonEmptyArray<
                    Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  >
                }
              >
            }>
          >
          readonly range: Schema.Struct<{
            readonly file: Schema.String
            readonly start: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
            readonly end: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
          }>
        }
      >
    }>
  >
}>

EndpointRecord (type alias)

Signature

type EndpointRecord = typeof EndpointRecord.Type

GroupRecord

HttpApiGroup.make(id[, options]).add(…).annotateMerge(…) declared as a const or a class heritage.

Signature

declare const GroupRecord: Schema.Struct<{
  readonly symbol: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly member: Schema.optionalKey<Schema.String>
  }>
  readonly form: Schema.Literals<readonly ["const", "class"]>
  readonly range: Schema.Struct<{
    readonly file: Schema.String
    readonly start: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
  }>
  readonly callee: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly id: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly options: Schema.TaggedUnion<{
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
    readonly Absent: Schema.TaggedStruct<"Absent", {}>
    readonly Entries: Schema.TaggedStruct<
      "Entries",
      {
        readonly entries: Schema.$Array<
          Schema.TaggedUnion<{
            readonly Unsupported: Schema.TaggedStruct<
              "Unsupported",
              {
                readonly finding: Schema.Struct<{
                  readonly kind: Schema.Literals<
                    readonly [
                      "spread",
                      "computed-key",
                      "non-literal",
                      "local-reference",
                      "closure",
                      "unresolved",
                      "unsupported-syntax"
                    ]
                  >
                  readonly construct: Schema.String
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly enclosingCall: Schema.optionalKey<
                    Schema.Struct<{
                      readonly callee: Schema.Struct<{
                        readonly module: Schema.String
                        readonly export: Schema.String
                        readonly member: Schema.optionalKey<Schema.String>
                      }>
                    }>
                  >
                }>
              }
            >
            readonly Property: Schema.TaggedStruct<
              "Property",
              {
                readonly name: Schema.String
                readonly value: Schema.TaggedUnion<{
                  readonly Lowered: Schema.TaggedStruct<
                    "Lowered",
                    {
                      readonly term: Schema.Codec<Term, Term, never, never>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly spans: Schema.$Array<
                        Schema.Struct<{
                          readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                        }>
                      >
                    }
                  >
                  readonly Unlowered: Schema.TaggedStruct<
                    "Unlowered",
                    {
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly findings: Schema.NonEmptyArray<
                        Schema.Struct<{
                          readonly kind: Schema.Literals<
                            readonly [
                              "spread",
                              "computed-key",
                              "non-literal",
                              "local-reference",
                              "closure",
                              "unresolved",
                              "unsupported-syntax"
                            ]
                          >
                          readonly construct: Schema.String
                          readonly range: Schema.Struct<{
                            readonly file: Schema.String
                            readonly start: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                            readonly end: Schema.Struct<{
                              readonly offset: Schema.Int
                              readonly line: Schema.Int
                              readonly col: Schema.Int
                            }>
                          }>
                          readonly enclosingCall: Schema.optionalKey<
                            Schema.Struct<{
                              readonly callee: Schema.Struct<{
                                readonly module: Schema.String
                                readonly export: Schema.String
                                readonly member: Schema.optionalKey<Schema.String>
                              }>
                            }>
                          >
                        }>
                      >
                    }
                  >
                }>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }
            >
          }>
        >
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
      }
    >
  }>
  readonly steps: Schema.$Array<
    Schema.TaggedUnion<{
      readonly Unsupported: Schema.TaggedStruct<
        "Unsupported",
        {
          readonly finding: Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        }
      >
      readonly Method: Schema.TaggedStruct<
        "Method",
        {
          readonly name: Schema.String
          readonly args: Schema.$Array<
            Schema.TaggedUnion<{
              readonly Lowered: Schema.TaggedStruct<
                "Lowered",
                {
                  readonly term: Schema.Codec<Term, Term, never, never>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly spans: Schema.$Array<
                    Schema.Struct<{
                      readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                    }>
                  >
                }
              >
              readonly Unlowered: Schema.TaggedStruct<
                "Unlowered",
                {
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly findings: Schema.NonEmptyArray<
                    Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  >
                }
              >
            }>
          >
          readonly range: Schema.Struct<{
            readonly file: Schema.String
            readonly start: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
            readonly end: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
          }>
        }
      >
      readonly Apply: Schema.TaggedStruct<
        "Apply",
        {
          readonly form: Schema.Literals<readonly ["pipe", "wrapper"]>
          readonly callee: Schema.TaggedUnion<{
            readonly Lowered: Schema.TaggedStruct<
              "Lowered",
              {
                readonly term: Schema.Codec<Term, Term, never, never>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly spans: Schema.$Array<
                  Schema.Struct<{
                    readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                  }>
                >
              }
            >
            readonly Unlowered: Schema.TaggedStruct<
              "Unlowered",
              {
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly findings: Schema.NonEmptyArray<
                  Schema.Struct<{
                    readonly kind: Schema.Literals<
                      readonly [
                        "spread",
                        "computed-key",
                        "non-literal",
                        "local-reference",
                        "closure",
                        "unresolved",
                        "unsupported-syntax"
                      ]
                    >
                    readonly construct: Schema.String
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly enclosingCall: Schema.optionalKey<
                      Schema.Struct<{
                        readonly callee: Schema.Struct<{
                          readonly module: Schema.String
                          readonly export: Schema.String
                          readonly member: Schema.optionalKey<Schema.String>
                        }>
                      }>
                    >
                  }>
                >
              }
            >
          }>
          readonly args: Schema.$Array<
            Schema.TaggedUnion<{
              readonly Lowered: Schema.TaggedStruct<
                "Lowered",
                {
                  readonly term: Schema.Codec<Term, Term, never, never>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly spans: Schema.$Array<
                    Schema.Struct<{
                      readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                    }>
                  >
                }
              >
              readonly Unlowered: Schema.TaggedStruct<
                "Unlowered",
                {
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly findings: Schema.NonEmptyArray<
                    Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  >
                }
              >
            }>
          >
          readonly range: Schema.Struct<{
            readonly file: Schema.String
            readonly start: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
            readonly end: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
          }>
        }
      >
    }>
  >
}>

GroupRecord (type alias)

Signature

type GroupRecord = typeof GroupRecord.Type

HandlerRegistration

One h.handleRaw("key", fn) / h.handle("key", fn) registration of an HttpApiBuilder.group chain.

Signature

declare const HandlerRegistration: Schema.TaggedUnion<{
  readonly Unsupported: Schema.TaggedStruct<
    "Unsupported",
    {
      readonly finding: Schema.Struct<{
        readonly kind: Schema.Literals<
          readonly [
            "spread",
            "computed-key",
            "non-literal",
            "local-reference",
            "closure",
            "unresolved",
            "unsupported-syntax"
          ]
        >
        readonly construct: Schema.String
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly enclosingCall: Schema.optionalKey<
          Schema.Struct<{
            readonly callee: Schema.Struct<{
              readonly module: Schema.String
              readonly export: Schema.String
              readonly member: Schema.optionalKey<Schema.String>
            }>
          }>
        >
      }>
    }
  >
  readonly Registered: Schema.TaggedStruct<
    "Registered",
    {
      readonly kind: Schema.Literals<readonly ["raw", "normal"]>
      readonly key: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly handler: Schema.TaggedUnion<{
        readonly Exported: Schema.TaggedStruct<
          "Exported",
          {
            readonly ref: Schema.Struct<{
              readonly module: Schema.String
              readonly export: Schema.String
              readonly member: Schema.optionalKey<Schema.String>
            }>
          }
        >
        readonly Inline: Schema.TaggedStruct<
          "Inline",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }
        >
        readonly Unavailable: Schema.TaggedStruct<
          "Unavailable",
          {
            readonly finding: Schema.Struct<{
              readonly kind: Schema.Literals<
                readonly [
                  "spread",
                  "computed-key",
                  "non-literal",
                  "local-reference",
                  "closure",
                  "unresolved",
                  "unsupported-syntax"
                ]
              >
              readonly construct: Schema.String
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly enclosingCall: Schema.optionalKey<
                Schema.Struct<{
                  readonly callee: Schema.Struct<{
                    readonly module: Schema.String
                    readonly export: Schema.String
                    readonly member: Schema.optionalKey<Schema.String>
                  }>
                }>
              >
            }>
          }
        >
      }>
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
    }
  >
}>

HandlerRegistration (type alias)

Signature

type HandlerRegistration = typeof HandlerRegistration.Type

HandlerSource

What a handler registration refers to: an exported function, a closure written inline, or nothing resolvable.

Signature

declare const HandlerSource: Schema.TaggedUnion<{
  readonly Exported: Schema.TaggedStruct<
    "Exported",
    {
      readonly ref: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly member: Schema.optionalKey<Schema.String>
      }>
    }
  >
  readonly Inline: Schema.TaggedStruct<
    "Inline",
    {
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
    }
  >
  readonly Unavailable: Schema.TaggedStruct<
    "Unavailable",
    {
      readonly finding: Schema.Struct<{
        readonly kind: Schema.Literals<
          readonly [
            "spread",
            "computed-key",
            "non-literal",
            "local-reference",
            "closure",
            "unresolved",
            "unsupported-syntax"
          ]
        >
        readonly construct: Schema.String
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly enclosingCall: Schema.optionalKey<
          Schema.Struct<{
            readonly callee: Schema.Struct<{
              readonly module: Schema.String
              readonly export: Schema.String
              readonly member: Schema.optionalKey<Schema.String>
            }>
          }>
        >
      }>
    }
  >
}>

HandlerSource (type alias)

Signature

type HandlerSource = typeof HandlerSource.Type

LocalDeclarationId

Source-only identity of a top-level local declaration; it is never an importable SymbolRef.

Signature

declare const LocalDeclarationId: Schema.Struct<{
  readonly file: Schema.String
  readonly offset: Schema.Int
  readonly name: Schema.String
}>

LocalDeclarationId (type alias)

Signature

type LocalDeclarationId = typeof LocalDeclarationId.Type

LocalValueCall

Atomic source fact for exactly one unary exported-callee call whose only argument directly names a top-level const in the same file. The ordinary slot remains Unlowered; this is not a partial Term. Only the registered problem-response reader consumes this fact. Other private references stay unsupported.

Signature

declare const LocalValueCall: Schema.Struct<{
  readonly range: Schema.Struct<{
    readonly file: Schema.String
    readonly start: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
  }>
  readonly callee: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly member: Schema.optionalKey<Schema.String>
  }>
  readonly argument: Schema.Struct<{
    readonly file: Schema.String
    readonly offset: Schema.Int
    readonly name: Schema.String
  }>
}>

LocalValueCall (type alias)

Signature

type LocalValueCall = typeof LocalValueCall.Type

LocalValueRecord

One immutable const declaration and its exact source initializer, without inventing an export.

Signature

declare const LocalValueRecord: Schema.Struct<{
  readonly kind: Schema.Literal<"const">
  readonly id: Schema.Struct<{
    readonly file: Schema.String
    readonly offset: Schema.Int
    readonly name: Schema.String
  }>
  readonly range: Schema.Struct<{
    readonly file: Schema.String
    readonly start: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
  }>
  readonly init: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
}>

LocalValueRecord (type alias)

Signature

type LocalValueRecord = typeof LocalValueRecord.Type

MiddlewareFact

Whether an exported middleware marker carries the HttpApi security brand (either installed brand).

Signature

declare const MiddlewareFact: Schema.Struct<{
  readonly ref: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly member: Schema.optionalKey<Schema.String>
  }>
  readonly security: Schema.Boolean
}>

MiddlewareFact (type alias)

Signature

type MiddlewareFact = typeof MiddlewareFact.Type

OptionEntry

An entry of an options object: a statically named property, or an entry no name or value can be read from.

Signature

declare const OptionEntry: Schema.TaggedUnion<{
  readonly Unsupported: Schema.TaggedStruct<
    "Unsupported",
    {
      readonly finding: Schema.Struct<{
        readonly kind: Schema.Literals<
          readonly [
            "spread",
            "computed-key",
            "non-literal",
            "local-reference",
            "closure",
            "unresolved",
            "unsupported-syntax"
          ]
        >
        readonly construct: Schema.String
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly enclosingCall: Schema.optionalKey<
          Schema.Struct<{
            readonly callee: Schema.Struct<{
              readonly module: Schema.String
              readonly export: Schema.String
              readonly member: Schema.optionalKey<Schema.String>
            }>
          }>
        >
      }>
    }
  >
  readonly Property: Schema.TaggedStruct<
    "Property",
    {
      readonly name: Schema.String
      readonly value: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
    }
  >
}>

OptionEntry (type alias)

Signature

type OptionEntry = typeof OptionEntry.Type

OptionsSlot

The options argument of a call: not written, an object literal decomposed per entry, or unreadable.

Signature

declare const OptionsSlot: Schema.TaggedUnion<{
  readonly Unlowered: Schema.TaggedStruct<
    "Unlowered",
    {
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
      readonly findings: Schema.NonEmptyArray<
        Schema.Struct<{
          readonly kind: Schema.Literals<
            readonly [
              "spread",
              "computed-key",
              "non-literal",
              "local-reference",
              "closure",
              "unresolved",
              "unsupported-syntax"
            ]
          >
          readonly construct: Schema.String
          readonly range: Schema.Struct<{
            readonly file: Schema.String
            readonly start: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
            readonly end: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
          }>
          readonly enclosingCall: Schema.optionalKey<
            Schema.Struct<{
              readonly callee: Schema.Struct<{
                readonly module: Schema.String
                readonly export: Schema.String
                readonly member: Schema.optionalKey<Schema.String>
              }>
            }>
          >
        }>
      >
    }
  >
  readonly Absent: Schema.TaggedStruct<"Absent", {}>
  readonly Entries: Schema.TaggedStruct<
    "Entries",
    {
      readonly entries: Schema.$Array<
        Schema.TaggedUnion<{
          readonly Unsupported: Schema.TaggedStruct<
            "Unsupported",
            {
              readonly finding: Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            }
          >
          readonly Property: Schema.TaggedStruct<
            "Property",
            {
              readonly name: Schema.String
              readonly value: Schema.TaggedUnion<{
                readonly Lowered: Schema.TaggedStruct<
                  "Lowered",
                  {
                    readonly term: Schema.Codec<Term, Term, never, never>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly spans: Schema.$Array<
                      Schema.Struct<{
                        readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                      }>
                    >
                  }
                >
                readonly Unlowered: Schema.TaggedStruct<
                  "Unlowered",
                  {
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly findings: Schema.NonEmptyArray<
                      Schema.Struct<{
                        readonly kind: Schema.Literals<
                          readonly [
                            "spread",
                            "computed-key",
                            "non-literal",
                            "local-reference",
                            "closure",
                            "unresolved",
                            "unsupported-syntax"
                          ]
                        >
                        readonly construct: Schema.String
                        readonly range: Schema.Struct<{
                          readonly file: Schema.String
                          readonly start: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                          readonly end: Schema.Struct<{
                            readonly offset: Schema.Int
                            readonly line: Schema.Int
                            readonly col: Schema.Int
                          }>
                        }>
                        readonly enclosingCall: Schema.optionalKey<
                          Schema.Struct<{
                            readonly callee: Schema.Struct<{
                              readonly module: Schema.String
                              readonly export: Schema.String
                              readonly member: Schema.optionalKey<Schema.String>
                            }>
                          }>
                        >
                      }>
                    >
                  }
                >
              }>
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
            }
          >
        }>
      >
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
    }
  >
}>

OptionsSlot (type alias)

Signature

type OptionsSlot = typeof OptionsSlot.Type

RootRecord

HttpApi.make(id).add(…) declared as a const or a class heritage: the hash-bearing root identity.

Signature

declare const RootRecord: Schema.Struct<{
  readonly symbol: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly member: Schema.optionalKey<Schema.String>
  }>
  readonly form: Schema.Literals<readonly ["const", "class"]>
  readonly range: Schema.Struct<{
    readonly file: Schema.String
    readonly start: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
  }>
  readonly callee: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly id: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
  readonly steps: Schema.$Array<
    Schema.TaggedUnion<{
      readonly Unsupported: Schema.TaggedStruct<
        "Unsupported",
        {
          readonly finding: Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        }
      >
      readonly Method: Schema.TaggedStruct<
        "Method",
        {
          readonly name: Schema.String
          readonly args: Schema.$Array<
            Schema.TaggedUnion<{
              readonly Lowered: Schema.TaggedStruct<
                "Lowered",
                {
                  readonly term: Schema.Codec<Term, Term, never, never>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly spans: Schema.$Array<
                    Schema.Struct<{
                      readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                    }>
                  >
                }
              >
              readonly Unlowered: Schema.TaggedStruct<
                "Unlowered",
                {
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly findings: Schema.NonEmptyArray<
                    Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  >
                }
              >
            }>
          >
          readonly range: Schema.Struct<{
            readonly file: Schema.String
            readonly start: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
            readonly end: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
          }>
        }
      >
      readonly Apply: Schema.TaggedStruct<
        "Apply",
        {
          readonly form: Schema.Literals<readonly ["pipe", "wrapper"]>
          readonly callee: Schema.TaggedUnion<{
            readonly Lowered: Schema.TaggedStruct<
              "Lowered",
              {
                readonly term: Schema.Codec<Term, Term, never, never>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly spans: Schema.$Array<
                  Schema.Struct<{
                    readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                  }>
                >
              }
            >
            readonly Unlowered: Schema.TaggedStruct<
              "Unlowered",
              {
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly findings: Schema.NonEmptyArray<
                  Schema.Struct<{
                    readonly kind: Schema.Literals<
                      readonly [
                        "spread",
                        "computed-key",
                        "non-literal",
                        "local-reference",
                        "closure",
                        "unresolved",
                        "unsupported-syntax"
                      ]
                    >
                    readonly construct: Schema.String
                    readonly range: Schema.Struct<{
                      readonly file: Schema.String
                      readonly start: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                      readonly end: Schema.Struct<{
                        readonly offset: Schema.Int
                        readonly line: Schema.Int
                        readonly col: Schema.Int
                      }>
                    }>
                    readonly enclosingCall: Schema.optionalKey<
                      Schema.Struct<{
                        readonly callee: Schema.Struct<{
                          readonly module: Schema.String
                          readonly export: Schema.String
                          readonly member: Schema.optionalKey<Schema.String>
                        }>
                      }>
                    >
                  }>
                >
              }
            >
          }>
          readonly args: Schema.$Array<
            Schema.TaggedUnion<{
              readonly Lowered: Schema.TaggedStruct<
                "Lowered",
                {
                  readonly term: Schema.Codec<Term, Term, never, never>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly spans: Schema.$Array<
                    Schema.Struct<{
                      readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                    }>
                  >
                }
              >
              readonly Unlowered: Schema.TaggedStruct<
                "Unlowered",
                {
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly findings: Schema.NonEmptyArray<
                    Schema.Struct<{
                      readonly kind: Schema.Literals<
                        readonly [
                          "spread",
                          "computed-key",
                          "non-literal",
                          "local-reference",
                          "closure",
                          "unresolved",
                          "unsupported-syntax"
                        ]
                      >
                      readonly construct: Schema.String
                      readonly range: Schema.Struct<{
                        readonly file: Schema.String
                        readonly start: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                        readonly end: Schema.Struct<{
                          readonly offset: Schema.Int
                          readonly line: Schema.Int
                          readonly col: Schema.Int
                        }>
                      }>
                      readonly enclosingCall: Schema.optionalKey<
                        Schema.Struct<{
                          readonly callee: Schema.Struct<{
                            readonly module: Schema.String
                            readonly export: Schema.String
                            readonly member: Schema.optionalKey<Schema.String>
                          }>
                        }>
                      >
                    }>
                  >
                }
              >
            }>
          >
          readonly range: Schema.Struct<{
            readonly file: Schema.String
            readonly start: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
            readonly end: Schema.Struct<{
              readonly offset: Schema.Int
              readonly line: Schema.Int
              readonly col: Schema.Int
            }>
          }>
        }
      >
    }>
  >
}>

RootRecord (type alias)

Signature

type RootRecord = typeof RootRecord.Type

SchemaFact

Type-derived facts about a schema reference that the IR records but source text does not state: its static field keys (all, and the required ones for header schemas) and whether Http.headers marks it.

Signature

declare const SchemaFact: Schema.Struct<{
  readonly ref: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly symbolId: Schema.brand<Schema.String, "effx/StableId">
  }>
  readonly allKeys: Schema.optionalKey<Schema.$Array<Schema.String>>
  readonly requiredKeys: Schema.optionalKey<Schema.$Array<Schema.String>>
  readonly headers: Schema.optionalKey<Schema.Literal<true>>
}>

SchemaFact (type alias)

Signature

type SchemaFact = typeof SchemaFact.Type

StepRecord

One postfix step of a declaration chain. The frontend records every step by name and never judges support: Method is .name(args), Apply is an application wrapper, Unsupported is a step it cannot even name.

Signature

declare const StepRecord: Schema.TaggedUnion<{
  readonly Unsupported: Schema.TaggedStruct<
    "Unsupported",
    {
      readonly finding: Schema.Struct<{
        readonly kind: Schema.Literals<
          readonly [
            "spread",
            "computed-key",
            "non-literal",
            "local-reference",
            "closure",
            "unresolved",
            "unsupported-syntax"
          ]
        >
        readonly construct: Schema.String
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly enclosingCall: Schema.optionalKey<
          Schema.Struct<{
            readonly callee: Schema.Struct<{
              readonly module: Schema.String
              readonly export: Schema.String
              readonly member: Schema.optionalKey<Schema.String>
            }>
          }>
        >
      }>
    }
  >
  readonly Method: Schema.TaggedStruct<
    "Method",
    {
      readonly name: Schema.String
      readonly args: Schema.$Array<
        Schema.TaggedUnion<{
          readonly Lowered: Schema.TaggedStruct<
            "Lowered",
            {
              readonly term: Schema.Codec<Term, Term, never, never>
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly spans: Schema.$Array<
                Schema.Struct<{
                  readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                }>
              >
            }
          >
          readonly Unlowered: Schema.TaggedStruct<
            "Unlowered",
            {
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly findings: Schema.NonEmptyArray<
                Schema.Struct<{
                  readonly kind: Schema.Literals<
                    readonly [
                      "spread",
                      "computed-key",
                      "non-literal",
                      "local-reference",
                      "closure",
                      "unresolved",
                      "unsupported-syntax"
                    ]
                  >
                  readonly construct: Schema.String
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly enclosingCall: Schema.optionalKey<
                    Schema.Struct<{
                      readonly callee: Schema.Struct<{
                        readonly module: Schema.String
                        readonly export: Schema.String
                        readonly member: Schema.optionalKey<Schema.String>
                      }>
                    }>
                  >
                }>
              >
            }
          >
        }>
      >
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
    }
  >
  readonly Apply: Schema.TaggedStruct<
    "Apply",
    {
      readonly form: Schema.Literals<readonly ["pipe", "wrapper"]>
      readonly callee: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
      readonly args: Schema.$Array<
        Schema.TaggedUnion<{
          readonly Lowered: Schema.TaggedStruct<
            "Lowered",
            {
              readonly term: Schema.Codec<Term, Term, never, never>
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly spans: Schema.$Array<
                Schema.Struct<{
                  readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                }>
              >
            }
          >
          readonly Unlowered: Schema.TaggedStruct<
            "Unlowered",
            {
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly findings: Schema.NonEmptyArray<
                Schema.Struct<{
                  readonly kind: Schema.Literals<
                    readonly [
                      "spread",
                      "computed-key",
                      "non-literal",
                      "local-reference",
                      "closure",
                      "unresolved",
                      "unsupported-syntax"
                    ]
                  >
                  readonly construct: Schema.String
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly enclosingCall: Schema.optionalKey<
                    Schema.Struct<{
                      readonly callee: Schema.Struct<{
                        readonly module: Schema.String
                        readonly export: Schema.String
                        readonly member: Schema.optionalKey<Schema.String>
                      }>
                    }>
                  >
                }>
              >
            }
          >
        }>
      >
      readonly range: Schema.Struct<{
        readonly file: Schema.String
        readonly start: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
        readonly end: Schema.Struct<{
          readonly offset: Schema.Int
          readonly line: Schema.Int
          readonly col: Schema.Int
        }>
      }>
    }
  >
}>

StepRecord (type alias)

Signature

type StepRecord = typeof StepRecord.Type

ValueRecord

An exported constant the declarations reference (a problem union): its declaration range and initializer.

Signature

declare const ValueRecord: Schema.Struct<{
  readonly symbol: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly member: Schema.optionalKey<Schema.String>
  }>
  readonly range: Schema.Struct<{
    readonly file: Schema.String
    readonly start: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
  }>
  readonly init: Schema.TaggedUnion<{
    readonly Lowered: Schema.TaggedStruct<
      "Lowered",
      {
        readonly term: Schema.Codec<Term, Term, never, never>
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly spans: Schema.$Array<
          Schema.Struct<{
            readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
          }>
        >
      }
    >
    readonly Unlowered: Schema.TaggedStruct<
      "Unlowered",
      {
        readonly range: Schema.Struct<{
          readonly file: Schema.String
          readonly start: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
          readonly end: Schema.Struct<{
            readonly offset: Schema.Int
            readonly line: Schema.Int
            readonly col: Schema.Int
          }>
        }>
        readonly findings: Schema.NonEmptyArray<
          Schema.Struct<{
            readonly kind: Schema.Literals<
              readonly [
                "spread",
                "computed-key",
                "non-literal",
                "local-reference",
                "closure",
                "unresolved",
                "unsupported-syntax"
              ]
            >
            readonly construct: Schema.String
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly enclosingCall: Schema.optionalKey<
              Schema.Struct<{
                readonly callee: Schema.Struct<{
                  readonly module: Schema.String
                  readonly export: Schema.String
                  readonly member: Schema.optionalKey<Schema.String>
                }>
              }>
            >
          }>
        >
      }
    >
  }>
}>

ValueRecord (type alias)

Signature

type ValueRecord = typeof ValueRecord.Type

WrapperFact

What the frontend learned from an application wrapper's own declaration; assist for refactors, never authority.

Signature

declare const WrapperFact: Schema.Struct<{
  readonly helper: Schema.Struct<{
    readonly module: Schema.String
    readonly export: Schema.String
    readonly member: Schema.optionalKey<Schema.String>
  }>
  readonly range: Schema.Struct<{
    readonly file: Schema.String
    readonly start: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
    readonly end: Schema.Struct<{ readonly offset: Schema.Int; readonly line: Schema.Int; readonly col: Schema.Int }>
  }>
  readonly headers: Schema.TaggedUnion<{
    readonly Unknown: Schema.TaggedStruct<"Unknown", {}>
    readonly Inline: Schema.TaggedStruct<
      "Inline",
      {
        readonly expression: Schema.TaggedUnion<{
          readonly Lowered: Schema.TaggedStruct<
            "Lowered",
            {
              readonly term: Schema.Codec<Term, Term, never, never>
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly spans: Schema.$Array<
                Schema.Struct<{
                  readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                }>
              >
            }
          >
          readonly Unlowered: Schema.TaggedStruct<
            "Unlowered",
            {
              readonly range: Schema.Struct<{
                readonly file: Schema.String
                readonly start: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
                readonly end: Schema.Struct<{
                  readonly offset: Schema.Int
                  readonly line: Schema.Int
                  readonly col: Schema.Int
                }>
              }>
              readonly findings: Schema.NonEmptyArray<
                Schema.Struct<{
                  readonly kind: Schema.Literals<
                    readonly [
                      "spread",
                      "computed-key",
                      "non-literal",
                      "local-reference",
                      "closure",
                      "unresolved",
                      "unsupported-syntax"
                    ]
                  >
                  readonly construct: Schema.String
                  readonly range: Schema.Struct<{
                    readonly file: Schema.String
                    readonly start: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                    readonly end: Schema.Struct<{
                      readonly offset: Schema.Int
                      readonly line: Schema.Int
                      readonly col: Schema.Int
                    }>
                  }>
                  readonly enclosingCall: Schema.optionalKey<
                    Schema.Struct<{
                      readonly callee: Schema.Struct<{
                        readonly module: Schema.String
                        readonly export: Schema.String
                        readonly member: Schema.optionalKey<Schema.String>
                      }>
                    }>
                  >
                }>
              >
            }
          >
        }>
      }
    >
    readonly Named: Schema.TaggedStruct<
      "Named",
      {
        readonly ref: Schema.Struct<{
          readonly module: Schema.String
          readonly export: Schema.String
          readonly symbolId: Schema.brand<Schema.String, "effx/StableId">
        }>
      }
    >
  }>
}>

WrapperFact (type alias)

Signature

type WrapperFact = typeof WrapperFact.Type

WrapperHeaders

How an application success wrapper obtains its response headers.

Signature

declare const WrapperHeaders: Schema.TaggedUnion<{
  readonly Unknown: Schema.TaggedStruct<"Unknown", {}>
  readonly Inline: Schema.TaggedStruct<
    "Inline",
    {
      readonly expression: Schema.TaggedUnion<{
        readonly Lowered: Schema.TaggedStruct<
          "Lowered",
          {
            readonly term: Schema.Codec<Term, Term, never, never>
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly spans: Schema.$Array<
              Schema.Struct<{
                readonly path: Schema.$Array<Schema.Union<readonly [Schema.String, Schema.Int]>>
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
              }>
            >
          }
        >
        readonly Unlowered: Schema.TaggedStruct<
          "Unlowered",
          {
            readonly range: Schema.Struct<{
              readonly file: Schema.String
              readonly start: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
              readonly end: Schema.Struct<{
                readonly offset: Schema.Int
                readonly line: Schema.Int
                readonly col: Schema.Int
              }>
            }>
            readonly findings: Schema.NonEmptyArray<
              Schema.Struct<{
                readonly kind: Schema.Literals<
                  readonly [
                    "spread",
                    "computed-key",
                    "non-literal",
                    "local-reference",
                    "closure",
                    "unresolved",
                    "unsupported-syntax"
                  ]
                >
                readonly construct: Schema.String
                readonly range: Schema.Struct<{
                  readonly file: Schema.String
                  readonly start: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                  readonly end: Schema.Struct<{
                    readonly offset: Schema.Int
                    readonly line: Schema.Int
                    readonly col: Schema.Int
                  }>
                }>
                readonly enclosingCall: Schema.optionalKey<
                  Schema.Struct<{
                    readonly callee: Schema.Struct<{
                      readonly module: Schema.String
                      readonly export: Schema.String
                      readonly member: Schema.optionalKey<Schema.String>
                    }>
                  }>
                >
              }>
            >
          }
        >
      }>
    }
  >
  readonly Named: Schema.TaggedStruct<
    "Named",
    {
      readonly ref: Schema.Struct<{
        readonly module: Schema.String
        readonly export: Schema.String
        readonly symbolId: Schema.brand<Schema.String, "effx/StableId">
      }>
    }
  >
}>

WrapperHeaders (type alias)

Signature

type WrapperHeaders = typeof WrapperHeaders.Type

On this page