SYMBOL INDEX (2376 symbols across 232 files)

FILE: ark/attest/__tests__/assertions.test.ts
  type O (line 191) | type O = {

FILE: ark/attest/__tests__/benchExpectedOutput.ts
  type makeComplexType (line 28) | type makeComplexType<S extends string> =

FILE: ark/attest/__tests__/benchTemplate.ts
  type makeComplexType (line 28) | type makeComplexType<S extends string> =

FILE: ark/attest/__tests__/completions.test.ts
  type Obj (line 5) | type Obj = {
  type Ark (line 12) | type Ark = {
  type Arks (line 16) | type Arks = {

FILE: ark/attest/__tests__/demo.test.ts
  type Legends (line 73) | type Legends = { faker?: "🐐"; [others: string]: unknown }

FILE: ark/attest/__tests__/utils.ts
  type makeComplexType (line 25) | type makeComplexType<S extends string> =

FILE: ark/attest/assert/assertions.ts
  type ThrowAssertionErrorContext (line 7) | type ThrowAssertionErrorContext = {
  class MissingSnapshotError (line 23) | class MissingSnapshotError extends Error {}
  type AssertFn (line 25) | type AssertFn = (
  type MappedTypeAssertionResult (line 31) | type MappedTypeAssertionResult = {
  type TypeAssertionMapper (line 36) | type TypeAssertionMapper = (
  class TypeAssertionMapping (line 41) | class TypeAssertionMapping {
    method constructor (line 44) | constructor(fn: TypeAssertionMapper) {
  type AssertedFnCallResult (line 199) | type AssertedFnCallResult = {

FILE: ark/attest/assert/attest.ts
  type AttestFn (line 22) | type AttestFn = {
  type VersionableActual (line 36) | type VersionableActual = {} | null | undefined | TypeAssertionMapping
  type AssertionContext (line 38) | type AssertionContext = {
  type InternalAssertionHooks (line 51) | type InternalAssertionHooks = {

FILE: ark/attest/assert/chainableAssertions.ts
  type ChainableAssertionOptions (line 34) | type ChainableAssertionOptions = {
  type AssertionRecord (line 39) | type AssertionRecord = Record<keyof rootAssertions<any, AssertionKind>, ...
  type UnwrapOptions (line 41) | type UnwrapOptions = {
  class ChainableAssertions (line 46) | class ChainableAssertions implements AssertionRecord {
    method constructor (line 49) | constructor(ctx: AssertionContext) {
    method unversionedActual (line 53) | private get unversionedActual(): unknown {
    method versionableActual (line 63) | private get versionableActual(): VersionableActual {
    method serializedActual (line 67) | private get serializedActual(): unknown {
    method unwrap (line 71) | unwrap(opts?: UnwrapOptions): unknown {
    method snapRequiresUpdate (line 77) | private snapRequiresUpdate(expectedSerialized: unknown) {
    method unknown (line 86) | get unknown(): this {
    method is (line 90) | is(expected: unknown): this {
    method equals (line 95) | equals(expected: unknown): this {
    method satisfies (line 100) | satisfies(def: unknown): this {
    method instanceOf (line 105) | instanceOf(expected: Constructor): this {
    method snap (line 122) | get snap(): snapProperty<unknown, AssertionKind> {
    method immediateOrChained (line 177) | private immediateOrChained() {
    method throws (line 200) | get throws(): unknown {
    method throwsAndHasTypeError (line 208) | throwsAndHasTypeError(matchValue: string | RegExp): void {
    method completions (line 228) | get completions(): any {
    method jsdoc (line 244) | get jsdoc(): any {
    method type (line 254) | get type(): any {
  type AssertionKind (line 295) | type AssertionKind = "value" | "type"
  type rootAssertions (line 297) | type rootAssertions<t, kind extends AssertionKind> = valueAssertions<
  type valueAssertions (line 303) | type valueAssertions<
  type nextAssertions (line 309) | type nextAssertions<kind extends AssertionKind> =
  type inferredAssertions (line 312) | type inferredAssertions<
  type ChainContext (line 319) | type ChainContext = {
  type functionAssertions (line 324) | type functionAssertions<kind extends AssertionKind> = {
  type valueFromTypeAssertion (line 332) | type valueFromTypeAssertion<
  type snapProperty (line 337) | type snapProperty<expected, kind extends AssertionKind> = {
  type Unwrapper (line 346) | type Unwrapper<expected = unknown> = (opts?: UnwrapOptions) => expected
  type nonOverlappingSatisfiesMessage (line 351) | type nonOverlappingSatisfiesMessage =
  type validateExpectedOverlaps (line 354) | type validateExpectedOverlaps<expected, satisfies> =
  type comparableValueAssertion (line 359) | type comparableValueAssertion<expected, kind extends AssertionKind> = {
  type CompletionsSnap (line 375) | interface CompletionsSnap {
  type TypeAssertionsRoot (line 380) | type TypeAssertionsRoot = {
  type TypeAssertionProps (line 384) | type TypeAssertionProps = {
  type ExternalSnapshotOptions (line 390) | type ExternalSnapshotOptions = {

FILE: ark/attest/bench/bench.ts
  type StatName (line 21) | type StatName = keyof typeof stats
  type TimeAssertionName (line 23) | type TimeAssertionName = StatName | "mark"
  type BenchFn (line 27) | type BenchFn = <fn extends BenchableFunction>(
  type Bench (line 33) | interface Bench extends BenchFn {
  class ResultCollector (line 89) | class ResultCollector {
    method constructor (line 96) | constructor(ctx: BenchContext) {
    method start (line 107) | start() {
    method stop (line 112) | stop() {
    method done (line 117) | done() {
  class BenchAssertions (line 146) | class BenchAssertions<
    method constructor (line 157) | constructor(fn: Fn, ctx: BenchContext) {
    method applyCallTimeHooks (line 163) | private applyCallTimeHooks() {
    method callTimesSync (line 173) | private callTimesSync() {
    method callTimesAsync (line 182) | private async callTimesAsync() {
    method createAssertion (line 191) | private createAssertion<Name extends TimeAssertionName>(
    method markAssertion (line 212) | private markAssertion(
    method getNextAssertions (line 240) | private getNextAssertions(): NextAssertions {
    method createStatMethod (line 244) | private createStatMethod<Name extends TimeAssertionName>(
    method addUnhandledBenchException (line 272) | private addUnhandledBenchException(reason: unknown) {
    method median (line 280) | median(baseline?: Measure<TimeUnit>): ReturnedAssertions {
    method mean (line 286) | mean(baseline?: Measure<TimeUnit>): ReturnedAssertions {
    method mark (line 291) | mark(baseline?: MarkMeasure): ReturnedAssertions {
  type UntilOptions (line 299) | type UntilOptions = {
  type BaseBenchOptions (line 304) | type BaseBenchOptions = {
  type BenchOptions (line 308) | type BenchOptions = BaseBenchOptions & {
  type InternalBenchOptions (line 315) | type InternalBenchOptions = BenchOptions & {
  type BenchContext (line 319) | type BenchContext = {
  type BenchableFunction (line 331) | type BenchableFunction = () => unknown | Promise<unknown>
  type InitialBenchAssertions (line 333) | type InitialBenchAssertions<Fn extends BenchableFunction> =

FILE: ark/attest/bench/measure.ts
  type MeasureUnit (line 3) | type MeasureUnit = TimeUnit | TypeUnit
  type Measure (line 5) | type Measure<Unit extends MeasureUnit = MeasureUnit> = [
  type MeasureComparison (line 10) | type MeasureComparison<Unit extends MeasureUnit = MeasureUnit> = {
  type MarkMeasure (line 15) | type MarkMeasure = Partial<Record<StatName, Measure>>
  constant TYPE_UNITS (line 22) | const TYPE_UNITS = ["instantiations"] as const
  type TypeUnit (line 24) | type TypeUnit = (typeof TYPE_UNITS)[number]
  type TimeUnit (line 41) | type TimeUnit = keyof typeof timeUnitRatios

FILE: ark/attest/bench/type.ts
  type BenchTypeAssertions (line 26) | type BenchTypeAssertions = {

FILE: ark/attest/cache/getCachedAssertions.ts
  type VersionedAssertionsByFile (line 13) | type VersionedAssertionsByFile = [
  type VersionedTypeAssertion (line 76) | type VersionedTypeAssertion<

FILE: ark/attest/cache/snapshots.ts
  type SnapshotArgs (line 24) | type SnapshotArgs = {
  type QueuedUpdate (line 66) | type QueuedUpdate = {
  type ExternalSnapshotArgs (line 74) | type ExternalSnapshotArgs = SnapshotArgs & {

FILE: ark/attest/cache/ts.ts
  class TsServer (line 9) | class TsServer {
    method instance (line 15) | static get instance(): TsServer {
    method constructor (line 21) | constructor(tsConfigInfo?: TsconfigInfo) {
    method getSourceFileOrThrow (line 59) | getSourceFileOrThrow(path: string): ts.SourceFile {
  type TsconfigInfo (line 137) | type TsconfigInfo = {
  type RawTsConfigJson (line 165) | type RawTsConfigJson = dict & { compilerOptions: ts.CompilerOptions }
  type InstantiatedTsConfigJson (line 167) | type InstantiatedTsConfigJson = ts.ParsedCommandLine
  type TsLibFiles (line 233) | type TsLibFiles = {
  type InternalTypeChecker (line 258) | interface InternalTypeChecker extends ts.TypeChecker {
  type StringifiableType (line 270) | interface StringifiableType extends ts.Type {
  type ArgumentTypes (line 300) | type ArgumentTypes = {

FILE: ark/attest/cache/utils.ts
  type SourceFile (line 151) | interface SourceFile {
  type Program (line 155) | interface Program {

FILE: ark/attest/cache/writeAssertionCache.ts
  type AssertionsByFile (line 21) | type AssertionsByFile = Record<string, TypeAssertionData[]>
  type Completions (line 177) | type Completions = Record<string, string[]> | string
  type DiagnosticData (line 221) | type DiagnosticData = {
  type DiagnosticsByFile (line 227) | type DiagnosticsByFile = Record<string, DiagnosticData[]>
  type ArgAssertionData (line 272) | type ArgAssertionData = {
  type TypeRelationshipAssertionData (line 280) | type TypeRelationshipAssertionData = {
  type TypeBenchmarkingAssertionData (line 290) | type TypeBenchmarkingAssertionData = {
  type TypeAssertionKind (line 295) | type TypeAssertionKind = "bench" | "type"
  type TypeAssertionData (line 297) | type TypeAssertionData<
  type LinePositionRange (line 303) | type LinePositionRange = {
  type TypeRelationship (line 308) | type TypeRelationship = "subtype" | "supertype" | "equality" | "none"

FILE: ark/attest/cli/cli.ts
  type Subcommand (line 14) | type Subcommand = keyof typeof subcommands

FILE: ark/attest/cli/stats.ts
  type TypePerfStats (line 44) | type TypePerfStats = {

FILE: ark/attest/cli/trace.ts
  type TraceEntry (line 15) | interface TraceEntry {
  type CallRange (line 34) | interface CallRange {
  type CallSiteDetail (line 46) | interface CallSiteDetail {
  type FunctionStats (line 53) | interface FunctionStats {
  type AnalysisContext (line 63) | interface AnalysisContext {
  type UngroupedCallStats (line 74) | interface UngroupedCallStats {
  class ProgressDisplay (line 128) | class ProgressDisplay {
    method constructor (line 135) | constructor(totalItems: number) {
    method start (line 140) | start(): void {
    method update (line 150) | update(processedCount: number): void {
    method render (line 159) | private render(): void {
    method stop (line 193) | stop(): void {

FILE: ark/attest/config.ts
  type TsVersionAliases (line 17) | type TsVersionAliases = autocomplete<"*"> | string[]
  type BenchErrorConfig (line 19) | type BenchErrorConfig = "runtime" | "types" | boolean
  type BaseAttestConfig (line 21) | type BaseAttestConfig = {
  type AttestConfig (line 62) | type AttestConfig = Partial<BaseAttestConfig>
  type ParsedAttestConfig (line 146) | interface ParsedAttestConfig extends Readonly<BaseAttestConfig> {

FILE: ark/attest/tsVersioning.ts
  type TsVersionData (line 76) | type TsVersionData = {

FILE: ark/attest/utils.ts
  type ContextualTests (line 14) | type ContextualTests<ctx = unknown> = (
  type ContextualizeRoot (line 18) | type ContextualizeRoot = {
  type ContextualizeEach (line 25) | type ContextualizeEach = <ctx>(
  type Contextualize (line 31) | interface Contextualize extends ContextualizeRoot {

FILE: ark/docs/app/(home)/layout.tsx
  type LayoutProps (line 6) | type LayoutProps = {

FILE: ark/docs/app/discord/page.tsx
  function DiscordPage (line 9) | function DiscordPage() {

FILE: ark/docs/app/global-error.tsx
  type GlobalErrorProps (line 5) | type GlobalErrorProps = {
  function GlobalError (line 10) | function GlobalError() {

FILE: ark/docs/app/layout.tsx
  function RootLayout (line 25) | function RootLayout({ children }: { children: ReactNode }) {

FILE: ark/docs/app/metadata.ts
  type MetadataOptions (line 3) | type MetadataOptions = {

FILE: ark/docs/app/playground/page.tsx
  type LayoutProps (line 13) | type LayoutProps = {
  function PlaygroundPage (line 17) | function PlaygroundPage() {

FILE: ark/docs/components/AnchorAliases.tsx
  type Props (line 4) | type Props = Record<string, true | undefined>

FILE: ark/docs/components/ApiTable.tsx
  type ApiTableProps (line 6) | type ApiTableProps = {
  type ApiTableRowProps (line 40) | interface ApiTableRowProps {
  type ApiExampleProps (line 104) | interface ApiExampleProps {

FILE: ark/docs/components/AutoplayDemo.tsx
  type AutoplayDemoProps (line 9) | type AutoplayDemoProps = React.DetailedHTMLProps<

FILE: ark/docs/components/Badge.tsx
  type BadgeProps (line 24) | interface BadgeProps

FILE: ark/docs/components/Banner.tsx
  type Props (line 19) | interface Props extends HTMLAttributes<HTMLDivElement> {

FILE: ark/docs/components/Button.tsx
  type ButtonSize (line 5) | type ButtonSize = "sm" | "md" | "lg"
  type ButtonVariant (line 6) | type ButtonVariant = "outline" | "filled"
  type ButtonProps (line 8) | interface ButtonProps extends ComponentPropsWithoutRef<"button"> {

FILE: ark/docs/components/CodeBlock.tsx
  type CodeBlockProps (line 16) | type CodeBlockProps = {
  type CodeBlockDecorator (line 25) | type CodeBlockDecorator = "@noErrors"

FILE: ark/docs/components/GhStarButton.tsx
  type Props (line 9) | type Props = {

FILE: ark/docs/components/InstallationTabs.tsx
  type Installer (line 6) | type Installer = (typeof installers)[number]
  type InstallationTabProps (line 8) | type InstallationTabProps = {

FILE: ark/docs/components/KeywordTable.tsx
  type KeywordTableProps (line 69) | type KeywordTableProps = {

FILE: ark/docs/components/LocalFriendlyUrl.tsx
  type LocalFriendlyUrlProps (line 4) | interface LocalFriendlyUrlProps {

FILE: ark/docs/components/PlatformCloud.tsx
  type SvgLogoProps (line 13) | type SvgLogoProps = {
  type PlatformName (line 17) | type PlatformName = keyof typeof platforms
  type PlatformCloudProps (line 31) | type PlatformCloudProps = {

FILE: ark/docs/components/SyntaxTabs.tsx
  type SyntaxKind (line 14) | type SyntaxKind = (typeof syntaxKinds)[number]
  type DiscriminatedSyntaxKindProps (line 39) | type DiscriminatedSyntaxKindProps = unionToPropwiseXor<
  type SyntaxTabProps (line 45) | type SyntaxTabProps = DiscriminatedSyntaxKindProps & {

FILE: ark/docs/components/playground/ParseResult.tsx
  type ParseResult (line 13) | type ParseResult = type | Error
  type Props (line 16) | type Props = {

FILE: ark/docs/components/playground/Playground.tsx
  type LoadingState (line 78) | type LoadingState = "unloaded" | "loading" | "loaded"
  type PlaygroundProps (line 80) | interface PlaygroundProps {
  type PlaygroundEditorProps (line 211) | type PlaygroundEditorProps = {
  type PlaygroundResultsProps (line 303) | interface PlaygroundResultsProps extends ExecutionResult {

FILE: ark/docs/components/playground/PlaygroundTabs.tsx
  type TabProps (line 7) | interface TabProps {
  type TabsProps (line 14) | interface TabsProps {

FILE: ark/docs/components/playground/RestoreDefault.tsx
  type RestoreDefaultProps (line 4) | interface RestoreDefaultProps {

FILE: ark/docs/components/playground/ShareLink.tsx
  type ShareLinkProps (line 6) | interface ShareLinkProps {

FILE: ark/docs/components/playground/TraverseResult.tsx
  type TraverseResult (line 6) | type TraverseResult = type.errors | unset | {} | null | undefined
  type Props (line 9) | type Props = {

FILE: ark/docs/components/playground/errorLens.ts
  type ErrorLensReplacement (line 80) | type ErrorLensReplacement = {

FILE: ark/docs/components/playground/execute.ts
  type ExecutionResult (line 10) | interface ExecutionResult {

FILE: ark/docs/components/playground/highlights.ts
  type VSCodeTheme (line 7) | interface VSCodeTheme {
  type TokenColor (line 14) | interface TokenColor {

FILE: ark/docs/components/playground/hovers.ts
  type DisplayPart (line 4) | type DisplayPart = {

FILE: ark/docs/components/playground/utils.ts
  type ResultKind (line 22) | type ResultKind = "failure" | "success" | "none"
  type RequestMap (line 30) | type RequestMap = Map<string, number>

FILE: ark/docs/components/snippets/betterErrors.twoslash.ts
  type RuntimeErrors (line 9) | interface RuntimeErrors extends ArkErrors {

FILE: ark/docs/lib/shiki.ts
  type HastElement (line 158) | type HastElement = Parameters<ShikiTransformer["line"] & {}>[0]
  method line (line 179) | line(node) {
  type shikiConfig (line 195) | type shikiConfig = typeof shikiConfig
  type BuiltinLang (line 197) | type BuiltinLang = {
  type extractName (line 201) | type extractName<lang> = lang extends { name: infer name } ? name : lang

FILE: ark/docs/lib/source.tsx
  type IconName (line 9) | type IconName = keyof typeof icons | "Advanced" | "New"

FILE: ark/docs/lib/writeSnippetsEntrypoint.ts
  type SnippetId (line 51) | type SnippetId = (typeof snippetIds)[number]

FILE: ark/extension/arktype.scratch.ts
  type Foo (line 18) | enum Foo {
  class F (line 149) | class F {
    method compile (line 150) | static compile(rule: PropRule[]) {

FILE: ark/fast-check/arbitraries/domain.ts
  type DomainArbitrary (line 17) | type DomainArbitrary<t = unknown> = (
  type BuildDomainArbitrary (line 22) | type BuildDomainArbitrary = {
  type DomainInputNode (line 30) | type DomainInputNode = nodeOfKind<"intersection"> | nodeOfKind<"domain">

FILE: ark/fast-check/arbitraries/proto.ts
  type BuildProtoArbitrary (line 17) | type BuildProtoArbitrary = {
  type ProtoArbitrary (line 24) | type ProtoArbitrary<t = unknown> = (
  type ProtoInputNode (line 29) | type ProtoInputNode = nodeOfKind<"intersection"> | nodeOfKind<"domain">

FILE: ark/fast-check/fastCheckContext.ts
  type Ctx (line 3) | type Ctx = {

FILE: ark/fs/caller.ts
  type GetCallStackOptions (line 7) | type GetCallStackOptions = {
  type LinePosition (line 19) | type LinePosition = {
  type SourcePosition (line 24) | type SourcePosition = LinePosition & {
  type CallerOfOptions (line 29) | type CallerOfOptions = {
  type FormatFilePathOptions (line 43) | type FormatFilePathOptions = {

FILE: ark/fs/fs.ts
  type JsonTransformer (line 47) | type JsonTransformer = (data: object) => object
  type WalkOptions (line 60) | type WalkOptions = {
  type SourceFileEntry (line 191) | type SourceFileEntry = [path: string, contents: string]
  type ReplacementDictionary (line 196) | type ReplacementDictionary = Record<
  type Matchers (line 200) | type Matchers = ReadonlyArray<Matcher>
  type Matcher (line 201) | type Matcher = {

FILE: ark/fs/getCurrentLine.ts
  type Location (line 4) | type Location = {
  type Offset (line 26) | type Offset = {

FILE: ark/fs/shell.ts
  type ShellOptions (line 4) | type ShellOptions = Omit<ExecSyncOptions, "stdio"> & {

FILE: ark/json-schema/errors.ts
  type writeJsonSchemaCommonConstAndEnumMessage (line 2) | type writeJsonSchemaCommonConstAndEnumMessage =
  type writeJsonSchemaInsufficientKeysMessage (line 8) | type writeJsonSchemaInsufficientKeysMessage<
  type writeJsonSchemaUnsupportedTypeMessage (line 24) | type writeJsonSchemaUnsupportedTypeMessage<
  type writeJsonSchemaArrayAdditionalItemsAndItemsAndPrefixItemsMessage (line 36) | type writeJsonSchemaArrayAdditionalItemsAndItemsAndPrefixItemsMessage =
  type writeJsonSchemaArrayNonArrayItemsAndAdditionalItemsMessage (line 42) | type writeJsonSchemaArrayNonArrayItemsAndAdditionalItemsMessage =
  type writeJsonSchemaNumberMaximumAndExclusiveMaximumMessage (line 49) | type writeJsonSchemaNumberMaximumAndExclusiveMaximumMessage =
  type writeJsonSchemaNumberMinimumAndExclusiveMinimumMessage (line 55) | type writeJsonSchemaNumberMinimumAndExclusiveMinimumMessage =
  type writeJsonSchemaObjectNonConformingKeyAndPropertyNamesMessage (line 62) | type writeJsonSchemaObjectNonConformingKeyAndPropertyNamesMessage<
  type writeJsonSchemaObjectNonConformingPatternAndPropertyNamesMessage (line 78) | type writeJsonSchemaObjectNonConformingPatternAndPropertyNamesMessage<

FILE: ark/json-schema/scope.ts
  type AnyKeywords (line 4) | type AnyKeywords = Partial<JsonSchema.Const & JsonSchema.Enum>
  type TypeWithNoKeywords (line 6) | type TypeWithNoKeywords = { type: "boolean" | "null" }
  type TypeWithKeywords (line 8) | type TypeWithKeywords =
  type Json (line 17) | type Json = unknown
  type ArraySchema (line 19) | type ArraySchema = JsonSchema.Array
  type NumberSchema (line 21) | type NumberSchema = JsonSchema.Numeric
  type ObjectSchema (line 23) | type ObjectSchema = JsonSchema.Object
  type StringSchema (line 27) | type StringSchema = Omit<JsonSchema.String, "format" | "pattern"> & {
  type JsonSchemaScope (line 31) | type JsonSchemaScope = Scope<{

FILE: ark/regex/__tests__/regex.bench.ts
  type Result (line 11) | type Result = array.repeat<3, 50>
  type Result (line 14) | type Result = array.repeat<2, 100>
  type Result (line 18) | type Result = array.repeat<2, 500>
  type Result (line 22) | type Result = array.repeat<2, 512>
  type Result (line 26) | type Result = array.repeat<2, 513>

FILE: ark/regex/__tests__/regex.test.ts
  type iterate (line 42) | type iterate<s extends State, until extends number, counter extends 1[] ...
  type _ParseResult (line 45) | type _ParseResult = iterate<State.initialize<"^\\d\\d$", "">, 4>
  type _AstResult (line 46) | type _AstResult = State.Group.finalize<_ParseResult>
  type _FinalizedResult (line 47) | type _FinalizedResult = s.finalize<_ParseResult>
  type _Tree (line 49) | type _Tree = SequenceTree<
  type _Result (line 76) | type _Result = finalizeTree<
  type Tree (line 413) | type Tree = State.Group.finalize<
  type Tree (line 430) | type Tree = State.Group.finalize<
  type Expected (line 1328) | type Expected =

FILE: ark/regex/charset.ts
  type parseCharset (line 11) | type parseCharset<s extends State, unscanned extends string> =
  type parseNonNegatedCharset (line 29) | type parseNonNegatedCharset<
  type parseDash (line 40) | type parseDash<
  type inferRange (line 58) | type inferRange<start extends string, end extends string> =
  type UnescapedDashMarker (line 61) | type UnescapedDashMarker = noSuggest<"dash">
  type parseChar (line 63) | type parseChar<unscanned extends string> =
  type emptyCharacterSetMessage (line 79) | type emptyCharacterSetMessage = typeof emptyCharacterSetMessage

FILE: ark/regex/escape.ts
  type parseEscape (line 4) | type parseEscape<s extends State, unscanned extends string> =
  type parseNumericBackreference (line 13) | type parseNumericBackreference<
  type parseNamedBackreference (line 24) | type parseNamedBackreference<s extends State, unscanned extends string> =
  type parseUnicodeProperty (line 29) | type parseUnicodeProperty<
  type parseSingleEscapedCharacter (line 38) | type parseSingleEscapedCharacter<
  type parseEscapedChar (line 49) | type parseEscapedChar<char extends string> =
  type trailingBackslashMessage (line 63) | type trailingBackslashMessage = typeof trailingBackslashMessage
  type writeUnresolvableBackreferenceMessage (line 71) | type writeUnresolvableBackreferenceMessage<ref extends string | number> =
  type missingBackreferenceNameMessage (line 77) | type missingBackreferenceNameMessage =
  type writeInvalidUnicodePropertyMessage (line 87) | type writeInvalidUnicodePropertyMessage<
  type writeUnnecessaryEscapeMessage (line 97) | type writeUnnecessaryEscapeMessage<char extends string> =
  type writeStringEscapableMessage (line 107) | type writeStringEscapableMessage<char extends StringEscapableChar> =
  type caretNotationMessage (line 113) | type caretNotationMessage =
  type StringEscapableChar (line 116) | type StringEscapableChar = "t" | "n" | "r" | "f" | "v" | "0" | "x" | "u"
  type RegexClassChar (line 118) | type RegexClassChar = "w" | "W" | "D" | "S"
  type BoundaryChar (line 120) | type BoundaryChar = "b" | "B"
  type UnicodePropertyChar (line 122) | type UnicodePropertyChar = "p" | "P"
  type NonZeroDigit (line 124) | type NonZeroDigit = "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
  type StringDigit (line 126) | type StringDigit = "0" | NonZeroDigit

FILE: ark/regex/execArray.ts
  type RegexExecArray (line 4) | interface RegexExecArray<
  type RegexIndexRange (line 26) | type RegexIndexRange = [start: number, end: number]
  type RegexIndicesArray (line 28) | interface RegexIndicesArray<

FILE: ark/regex/group.ts
  type LookaroundChar (line 8) | type LookaroundChar = "=" | "!"
  type ModifiableFlag (line 10) | type ModifiableFlag = "i" | "m" | "s"
  type parseGroup (line 12) | type parseGroup<s extends State, unscanned extends string> =
  type parseNonCapturingGroup (line 19) | type parseNonCapturingGroup<s extends State, unscanned extends string> =
  type ShiftedModifiers (line 43) | type ShiftedModifiers<
  type ParsedModifiers (line 49) | type ParsedModifiers<
  type shiftModifiers (line 57) | type shiftModifiers<unscanned extends string> =
  type parseModifiers (line 85) | type parseModifiers<unscanned extends string> = _parseModifiers<
  type _parseModifiers (line 91) | type _parseModifiers<
  type writeDuplicateModifierMessage (line 123) | type writeDuplicateModifierMessage<modifier extends ModifiableFlag> =
  type multipleModifierDashesMessage (line 129) | type multipleModifierDashesMessage = typeof multipleModifierDashesMessage
  type missingNegatedModifierMessage (line 133) | type missingNegatedModifierMessage = typeof missingNegatedModifierMessage
  type writeInvalidModifierMessage (line 140) | type writeInvalidModifierMessage<char extends string> =
  type parseNamedGroupOrLookbehind (line 143) | type parseNamedGroupOrLookbehind<s extends State, unscanned extends stri...
  type shiftNamedGroup (line 153) | type shiftNamedGroup<unscanned extends string> =
  type unnamedCaptureGroupMessage (line 162) | type unnamedCaptureGroupMessage = typeof unnamedCaptureGroupMessage
  type unescapedLiteralQuestionMarkMessage (line 167) | type unescapedLiteralQuestionMarkMessage =

FILE: ark/regex/parse.ts
  type parseState (line 12) | type parseState<s extends State> =
  type next (line 18) | type next<s extends State> =
  type maybeSplitCasing (line 37) | type maybeSplitCasing<caseInsensitive extends boolean, char extends stri...

FILE: ark/regex/quantify.ts
  type parseBuiltinQuantifier (line 4) | type parseBuiltinQuantifier<
  type quantifyBuiltin (line 17) | type quantifyBuiltin<
  type ParsedRange (line 27) | type ParsedRange = {
  type from (line 34) | type from<r extends ParsedRange> = r
  type skipPossibleQuestionMark (line 37) | type skipPossibleQuestionMark<unscanned extends string> =
  type parsePossibleRangeString (line 40) | type parsePossibleRangeString<unscanned extends string> =
  type parseQuantifier (line 63) | type parseQuantifier<unscanned extends string, parsed extends ParsedRang...
  type parsePossibleRange (line 65) | type parsePossibleRange<
  type quantify (line 89) | type quantify<
  type tryFastPath (line 95) | type tryFastPath<
  type loopFromZero (line 111) | type loopFromZero<
  type loopUntilMin (line 120) | type loopUntilMin<
  type loopUntilMax (line 136) | type loopUntilMax<
  type QuantifyingChar (line 146) | type QuantifyingChar = "*" | "+" | "?"
  type writeUnmatchedQuantifierError (line 153) | type writeUnmatchedQuantifierError<quantifier extends string> =
  type writeUnnaturalNumberQuantifierError (line 161) | type writeUnnaturalNumberQuantifierError<quantifier extends string> =

FILE: ark/regex/regex.ts
  type IndexedCaptures (line 6) | type IndexedCaptures = Array<string | undefined>
  type NamedCaptures (line 7) | type NamedCaptures = Record<string, string | undefined>
  type UnicodeFlag (line 9) | type UnicodeFlag = "v" | "u"
  type Flags (line 10) | type Flags =
  type RegexContext (line 13) | type RegexContext = {
  type Regex (line 19) | interface Regex<
  type RegexParser (line 44) | interface RegexParser {
  type regex (line 61) | type regex<
  type infer (line 67) | type infer<src extends string, flags extends Flags = ""> =
  type validate (line 70) | type validate<src extends string, flags extends Flags = ""> =
  type parse (line 73) | type parse<src extends string, flags extends Flags = ""> = parseState<

FILE: ark/regex/state.ts
  type State (line 22) | interface State extends State.Group {
  type from (line 30) | type from<s extends State> = s
  type initialize (line 32) | type initialize<source extends string, flags extends Flags> = from<{
  type UnnamedCaptureKind (line 43) | enum UnnamedCaptureKind {
  type CaptureKind (line 49) | type CaptureKind = string | UnnamedCaptureKind
  type Group (line 51) | type Group = {
  type from (line 61) | type from<g extends Group> = g
  type pop (line 63) | type pop<init extends Group, last extends Group[]> = [...last, init]
  type finalize (line 65) | type finalize<g extends Group> =
  type finalizeUnion (line 73) | type finalizeUnion<
  type Boundary (line 87) | type Boundary = Anchor | "(" | ")" | "[" | "]"
  type Anchor (line 88) | type Anchor = "^" | "$"
  type Control (line 89) | type Control = QuantifyingChar | Boundary | "|" | "." | "{" | "-" | "\\"
  type AnchorMarker (line 91) | type AnchorMarker<inner extends Anchor = Anchor> =
  type StartAnchorMarker (line 94) | type StartAnchorMarker = AnchorMarker<"^">
  type EndAnchorMarker (line 95) | type EndAnchorMarker = AnchorMarker<"$">
  type error (line 98) | type error<message extends string> = State.from<{
  type shiftQuantifiable (line 109) | type shiftQuantifiable<
  type pushQuantified (line 124) | type pushQuantified<
  type pushQuantifier (line 139) | type pushQuantifier<
  type finalizeBranch (line 163) | type finalizeBranch<
  type anchor (line 177) | type anchor<
  type pushGroup (line 192) | type pushGroup<
  type popGroup (line 209) | type popGroup<s extends State, unscanned extends string> =
  type finalize (line 227) | type finalize<s extends State> =
  type finalizeRegexOrError (line 242) | type finalizeRegexOrError<r extends FinalizationResult> =
  type finalizeContext (line 256) | type finalizeContext<ctx extends FinalizationContext> =
  type finalizeContextWithoutCaptures (line 271) | type finalizeContextWithoutCaptures<ctx extends FinalizationContext> =
  type finalizeContextWithCaptures (line 277) | type finalizeContextWithCaptures<ctx extends FinalizationContext> =
  type RegexAst (line 294) | type RegexAst =
  type ReferenceNode (line 302) | interface ReferenceNode<to extends string = string> {
  type finalize (line 308) | type finalize<
  type inferReference (line 332) | type inferReference<to extends string | undefined> =
  type writeIncompleteReferenceError (line 341) | type writeIncompleteReferenceError<ref extends string> =
  type SequenceTree (line 344) | interface SequenceTree<ast extends RegexAst[] = RegexAst[]> {
  type Empty (line 350) | type Empty = SequenceTree<[]>
  type finalize (line 352) | type finalize<
  type _finalize (line 357) | type _finalize<
  type UnionTree (line 375) | interface UnionTree<ast extends RegexAst[] = RegexAst[]> {
  type finalize (line 381) | type finalize<
  type FinalizedBranch (line 386) | type FinalizedBranch = {
  type from (line 393) | type from<b extends FinalizedBranch> = b
  type _finalize (line 396) | type _finalize<
  type finalizeBranch (line 409) | type finalizeBranch<
  type finalizeBranchCaptures (line 424) | type finalizeBranchCaptures<
  type finalizeBranches (line 442) | type finalizeBranches<
  type CapturedGroupKind (line 466) | type CapturedGroupKind = string | State.UnnamedCaptureKind.indexed
  type IncompleteCaptureGroup (line 468) | type IncompleteCaptureGroup = noSuggest<"incompleteCaptureGroup">
  type IndexedCaptureOffset (line 470) | type IndexedCaptureOffset = noSuggest<"indexedCaptureOffset">
  type EmptyCaptures (line 476) | type EmptyCaptures = [IndexedCaptureOffset]
  type GroupTree (line 478) | interface GroupTree<
  type finalize (line 488) | type finalize<
  type finalizeGroupAst (line 502) | type finalizeGroupAst<
  type finalizeGroupResult (line 526) | type finalizeGroupResult<
  type finalizeNamedCapture (line 544) | type finalizeNamedCapture<
  type finalizeUnnamedCapture (line 561) | type finalizeUnnamedCapture<
  type QuantifierTree (line 573) | interface QuantifierTree<ast extends RegexAst = RegexAst> {
  type finalize (line 581) | type finalize<
  type finalizeQuantifierResult (line 589) | type finalizeQuantifierResult<
  type finalizeNonZeroMinQuantified (line 604) | type finalizeNonZeroMinQuantified<
  type finalizeZeroMinQuantifiedWithCaptures (line 612) | type finalizeZeroMinQuantifiedWithCaptures<
  type finalizeZeroQuantified (line 622) | type finalizeZeroQuantified<
  type zeroQuantifiedNames (line 641) | type zeroQuantifiedNames<
  type finalizeOnePlusQuantified (line 648) | type finalizeOnePlusQuantified<
  type pushQuantifiable (line 660) | type pushQuantifiable<sequence extends RegexAst, root extends RegexAst> =
  type pushToSequence (line 669) | type pushToSequence<sequence extends SequenceTree, root extends RegexAst> =
  type extractNewCaptures (line 675) | type extractNewCaptures<
  type FinalizationContext (line 683) | interface FinalizationContext extends Required<RegexContext> {
  type from (line 688) | type from<ctx extends FinalizationContext> = ctx
  type FinalizationResult (line 691) | type FinalizationResult = {
  type from (line 697) | type from<r extends FinalizationResult> = r
  type error (line 699) | type error<
  type finalizeTree (line 713) | type finalizeTree<tree, ctx extends FinalizationContext> =
  type applyAnchors (line 726) | type applyAnchors<pattern extends string> =
  type anchorsAway (line 735) | type anchorsAway<pattern extends string> =
  type appendNonRedundant (line 743) | type appendNonRedundant<base extends string, suffix extends string> =
  type prependNonRedundant (line 756) | type prependNonRedundant<base extends string, prefix extends string> =
  type writeMidAnchorError (line 773) | type writeMidAnchorError<anchor extends Anchor> =

FILE: ark/repo/jsdocGen.ts
  type ApiGroup (line 102) | type ApiGroup = "Type" | "Traversal"
  type JsDocComment (line 104) | type JsDocComment = ReturnType<JSDoc["getComment"]>
  type RawJsDocPart (line 106) | type RawJsDocPart = Extract<
  type ParsedJsDocPart (line 111) | type ParsedJsDocPart =
  type ApiDocsByGroup (line 117) | type ApiDocsByGroup = {
  type ParsedJsDocBlock (line 121) | type ParsedJsDocBlock = {
  type MatchContext (line 281) | type MatchContext = {

FILE: ark/repo/scratch/typeClass.ts
  method constructor (line 12) | constructor(input: unknown) {
  method and (line 20) | static and<cls extends typeof TypeConstructor<any>, andDef>(
  class Foo (line 33) | class Foo extends Class({ a: "string|number[]" }) {
    method getA (line 34) | getA() {
  class Bar (line 43) | class Bar extends Foo.and({ b: "boolean" }) {
    method getB (line 44) | getB() {
  type Z (line 49) | type Z = typeof Bar.infer //=>

FILE: ark/repo/shared.ts
  type PackageScope (line 44) | type PackageScope = (typeof packageScopes)[number]
  type ArkPackage (line 46) | type ArkPackage = {

FILE: ark/schema/__tests__/select.test.ts
  type StringDomain (line 207) | type StringDomain = DomainNode & { domain: string }

FILE: ark/schema/config.ts
  type ArkSchemaRegistry (line 22) | interface ArkSchemaRegistry extends ArkRegistry {
  type nodeConfigForKind (line 30) | type nodeConfigForKind<kind extends NodeKind> = Readonly<
  type NodeConfigsByKind (line 45) | type NodeConfigsByKind = {
  type NodeConfig (line 49) | type NodeConfig<kind extends NodeKind = NodeKind> =
  type UnknownErrorConfigs (line 52) | interface UnknownErrorConfigs {
  type UnknownNodeConfig (line 59) | interface UnknownNodeConfig extends UnknownErrorConfigs {
  type ResolvedUnknownNodeConfig (line 63) | type ResolvedUnknownNodeConfig = requireKeys<
  type MergeToJsonSchemaConfigs (line 120) | type MergeToJsonSchemaConfigs = <base extends ToJsonSchema.Options | und...
  type CloneImplementation (line 193) | type CloneImplementation = <original extends object>(
  type ArkSchemaConfig (line 197) | interface ArkSchemaConfig extends Partial<Readonly<NodeConfigsByKind>> {
  type resolveConfig (line 209) | type resolveConfig<config extends ArkSchemaConfig> = show<
  type ResolvedConfig (line 219) | type ResolvedConfig = resolveConfig<ArkSchemaConfig>

FILE: ark/schema/constraint.ts
  type Declaration (line 50) | interface Declaration extends BaseNodeDeclaration {
  type ReductionResult (line 54) | type ReductionResult = BaseRoot | Disjoint | Intersection.Inner.mutable
  type Attachments (line 56) | interface Attachments {
  type PrimitiveKind (line 61) | type PrimitiveKind = Exclude<ConstraintKind, StructuralKind>
  method constructor (line 71) | constructor(attachments: UnknownAttachments, $: BaseScope) {
  method intersect (line 83) | intersect<r extends BaseConstraint>(
  method compile (line 107) | compile(js: NodeCompiler): void {
  method errorContext (line 116) | get errorContext(): d["errorContext"] {
  method compiledErrorContext (line 125) | get compiledErrorContext(): string {
  type ConstraintGroupKind (line 154) | type ConstraintGroupKind = satisfy<NodeKind, "intersection" | "structure">
  type ConstraintIntersectionState (line 156) | interface ConstraintIntersectionState<
  type FlatIntersectionInner (line 236) | type FlatIntersectionInner = Intersection.Inner & Structure.Inner
  type MutableFlatIntersectionInner (line 238) | type MutableFlatIntersectionInner = Intersection.Inner.mutable &
  type constraintKindLeftOf (line 263) | type constraintKindLeftOf<kind extends ConstraintKind> = ConstraintKind &
  type constraintKindOrLeftOf (line 266) | type constraintKindOrLeftOf<kind extends ConstraintKind> =
  type intersectConstraintKinds (line 270) | type intersectConstraintKinds<
  type writeInvalidOperandMessage (line 298) | type writeInvalidOperandMessage<

FILE: ark/schema/generic.ts
  type GenericParamAst (line 17) | type GenericParamAst<
  type GenericParamDef (line 22) | type GenericParamDef<name extends string = string> =
  type genericParamNames (line 32) | type genericParamNames<params extends array<GenericParamAst>> = {
  type genericParamConstraints (line 36) | type genericParamConstraints<params extends array<GenericParamAst>> = {
  type GenericArgResolutions (line 40) | type GenericArgResolutions<
  class LazyGenericBody (line 46) | class LazyGenericBody<
  type GenericAst (line 51) | interface GenericAst<
  class GenericRoot (line 66) | class GenericRoot<
    method constructor (line 82) | constructor(
    method defIsLazy (line 125) | defIsLazy(): this is GenericRoot<params, LazyGenericBody> {
    method cacheGetter (line 129) | protected cacheGetter<name extends keyof this>(
    method json (line 137) | get json(): JsonStructure {
    method params (line 146) | get params(): { [i in keyof params]: [params[i][0], BaseRoot] } {
    method names (line 157) | get names(): genericParamNames<params> {
    method constraints (line 161) | get constraints(): { [i in keyof params]: BaseRoot } {
    method internal (line 165) | get internal(): this {
    method referencesById (line 169) | get referencesById(): Record<string, BaseNode> {
    method references (line 173) | get references(): BaseNode[] {
  type genericParamSchemasToAst (line 178) | type genericParamSchemasToAst<
  type genericHktToConstraints (line 186) | type genericHktToConstraints<hkt extends abstract new () => Hkt> =
  type GenericRootParser (line 189) | type GenericRootParser = <
  type GenericRootBodyParser (line 195) | type GenericRootBodyParser<params extends array<GenericParamAst>> = {
  type writeUnsatisfiedParameterConstraintMessage (line 220) | type writeUnsatisfiedParameterConstraintMessage<

FILE: ark/schema/kinds.ts
  type NodeDeclarationsByKind (line 45) | interface NodeDeclarationsByKind extends BoundDeclarations {
  type NodesByKind (line 129) | interface NodesByKind extends BoundNodesByKind {
  type nodeOfKind (line 147) | type nodeOfKind<kind extends NodeKind> = NodesByKind[kind]
  type Declaration (line 149) | type Declaration<kind extends NodeKind> = NodeDeclarationsByKind[kind]
  type NodeSchema (line 151) | type NodeSchema<kind extends NodeKind> = Declaration<kind>["schema"]
  type RootSchema (line 153) | type RootSchema<kind extends RootKind = RootKind> = NodeSchema<kind>
  type NormalizedSchema (line 155) | type NormalizedSchema<kind extends NodeKind> =
  type childKindOf (line 158) | type childKindOf<kind extends NodeKind> = Declaration<kind>["childKind"]
  type Prerequisite (line 160) | type Prerequisite<kind extends NodeKind> =
  type reducibleKindOf (line 163) | type reducibleKindOf<kind extends NodeKind> =
  type Inner (line 168) | type Inner<kind extends NodeKind> = Declaration<kind>["inner"]
  type defAttachedAs (line 170) | type defAttachedAs<kind extends ConstraintKind> =
  type innerAttachedAs (line 173) | type innerAttachedAs<kind extends ConstraintKind> =
  type mutableInnerOfKind (line 177) | type mutableInnerOfKind<kind extends NodeKind> =
  type mutableNormalizedRootOfKind (line 180) | type mutableNormalizedRootOfKind<kind extends NodeKind> =
  type errorContext (line 183) | type errorContext<kind extends NodeKind> =

FILE: ark/schema/module.ts
  type PreparsedNodeResolution (line 10) | type PreparsedNodeResolution = {
  class RootModule (line 14) | class RootModule<exports extends {} = {}> extends DynamicBase<exports> {
    method [arkKind] (line 16) | get [arkKind](): "module" {
  type InternalModule (line 21) | interface InternalModule<
  type exportSchemaScope (line 40) | type exportSchemaScope<$> = {
  type instantiateRoot (line 44) | type instantiateRoot<t> =
  type SchemaModule (line 55) | interface SchemaModule<$ = {}>

FILE: ark/schema/node.ts
  method shallowMorphs (line 104) | get shallowMorphs(): array<Morph> {
  method constructor (line 108) | constructor(attachments: UnknownAttachments, $: BaseScope) {
  method createRootApply (line 233) | protected createRootApply(): this["rootApply"] {
  method cacheGetter (line 288) | protected cacheGetter<name extends keyof this>(
  method description (line 296) | get description(): string {
  method references (line 306) | get references(): BaseNode[] {
  method traverse (line 318) | traverse(
  method in (line 326) | get in(): unknown {
  method rawIn (line 334) | get rawIn(): BaseNode {
  method out (line 339) | get out(): unknown {
  method rawOut (line 347) | get rawOut(): BaseNode {
  method getIo (line 353) | getIo(ioKind: "in" | "out"): BaseNode {
  method toJSON (line 378) | toJSON(): JsonStructure {
  method toString (line 382) | toString(): string {
  method equals (line 386) | equals(r: unknown): boolean {
  method ifEquals (line 391) | ifEquals(r: unknown): BaseNode | undefined {
  method hasKind (line 395) | hasKind<kind extends NodeKind>(kind: kind): this is nodeOfKind<kind> {
  method assertHasKind (line 399) | assertHasKind<kind extends NodeKind>(kind: kind): nodeOfKind<kind> {
  method hasKindIn (line 405) | hasKindIn<kinds extends NodeKind[]>(
  method assertHasKindIn (line 411) | assertHasKindIn<kinds extends NodeKind[]>(
  method isBasis (line 419) | isBasis(): this is nodeOfKind<BasisKind> {
  method isConstraint (line 423) | isConstraint(): this is BaseConstraint {
  method isStructural (line 427) | isStructural(): this is nodeOfKind<StructuralKind> {
  method isRefinement (line 431) | isRefinement(): this is nodeOfKind<RefinementKind> {
  method isRoot (line 435) | isRoot(): this is BaseRoot {
  method isUnknown (line 439) | isUnknown(): boolean {
  method isNever (line 443) | isNever(): boolean {
  method hasUnit (line 447) | hasUnit<value>(value: unknown): this is Unit.Node & { unit: value } {
  method hasOpenIntersection (line 451) | hasOpenIntersection(): this is nodeOfKind<OpenNodeKind> {
  method nestableExpression (line 455) | get nestableExpression(): string {
  method select (line 472) | select(selector: NodeSelector): NodeSelector.BaseResult {
  method _select (line 477) | private _select(selector: NodeSelector.Normalized): NodeSelector.BaseRes...
  method transform (line 491) | transform<mapper extends DeepNodeTransformation>(
  method _createTransformContext (line 500) | protected _createTransformContext(
  method _transform (line 516) | protected _transform(
  method configureReferences (line 612) | configureReferences(
  type KeyOrKeyNode (line 657) | type KeyOrKeyNode = Key | BaseRoot
  type GettableKeyOrNode (line 659) | type GettableKeyOrNode = KeyOrKeyNode | number
  type FlatRef (line 661) | type FlatRef<root extends BaseRoot = BaseRoot> = {
  type NodeSelector (line 667) | type NodeSelector = NodeSelector.Single | NodeSelector.Composite
  type SelectableFn (line 707) | type SelectableFn<input, returns, kind extends NodeKind = NodeKind> = {
  type Normalized (line 742) | type Normalized = requireKeys<Composite, "method" | "boundary">
  type CompositeInput (line 744) | type CompositeInput = Omit<Composite, "where">
  type BaseResult (line 746) | type BaseResult = BaseNode | BaseNode[] | undefined
  type validateComposite (line 748) | type validateComposite<selector, predicate> = {
  type infer (line 753) | type infer<selfKind extends NodeKind, selector> = applyMethod<
  type BoundaryInput (line 759) | type BoundaryInput<b extends Boundary> = b | { boundary: b }
  type KindInput (line 760) | type KindInput<k extends Kind> = k | { kind: k }
  type WhereCastInput (line 761) | type WhereCastInput<kindNode extends BaseNode, narrowed extends kindNode> =
  type inferSelectKind (line 765) | type inferSelectKind<selfKind extends NodeKind, selector> =
  type selectKind (line 772) | type selectKind<selfKind extends NodeKind, selector> =
  type applyMethod (line 778) | type applyMethod<t, selector> =
  type DeepNodeTransformOptions (line 827) | type DeepNodeTransformOptions = {
  type ShouldTransformFn (line 834) | type ShouldTransformFn = (
  type DeepNodeTransformContext (line 839) | interface DeepNodeTransformContext extends DeepNodeTransformOptions {
  type DeepNodeTransformation (line 848) | type DeepNodeTransformation = <kind extends NodeKind>(

FILE: ark/schema/parse.ts
  type ContextualArgs (line 40) | type ContextualArgs = Record<string, BaseRoot | NodeId>
  type BaseParseOptions (line 42) | type BaseParseOptions<prereduced extends boolean = boolean> = {
  type BaseParseContextInput (line 49) | interface BaseParseContextInput extends BaseParseOptions {
  type AttachedParseContext (line 54) | interface AttachedParseContext {
  type BaseParseContext (line 61) | interface BaseParseContext
  type NodeParseContextInput (line 67) | interface NodeParseContextInput<kind extends NodeKind = NodeKind>
  type NodeParseContext (line 73) | interface NodeParseContext<kind extends NodeKind = NodeKind>
  type NodeId (line 135) | type NodeId = Brand<string, "NodeId">
  type NodeResolver (line 137) | type NodeResolver = (id: NodeId) => BaseNode
  type CreateNodeInput (line 220) | type CreateNodeInput = {

FILE: ark/schema/predicate.ts
  type Schema (line 26) | type Schema<predicate extends Predicate = Predicate> =
  type NormalizedSchema (line 30) | interface NormalizedSchema<predicate extends Predicate = Predicate>
  type Inner (line 35) | interface Inner<predicate extends Predicate = Predicate> {
  type ErrorContext (line 39) | interface ErrorContext extends BaseErrorContext<"predicate"> {
  type Declaration (line 43) | interface Declaration
  type Node (line 53) | type Node = PredicateNode
  class PredicateNode (line 79) | class PredicateNode extends BaseConstraint<Predicate.Declaration> {
    method compile (line 106) | compile(js: NodeCompiler): void {
    method reduceJsonSchema (line 120) | reduceJsonSchema(
  type Predicate (line 137) | type Predicate<data = any> = (data: data, ctx: Traversal) => boolean
  type Casted (line 140) | type Casted<input = never, narrowed extends input = input> = (
  type Castable (line 145) | type Castable<input = never, narrowed extends input = input> =

FILE: ark/schema/refinements/after.ts
  type Inner (line 23) | interface Inner extends BaseRangeInner {
  type NormalizedSchema (line 27) | interface NormalizedSchema extends UnknownNormalizedRangeSchema {
  type ExpandedSchema (line 31) | interface ExpandedSchema extends UnknownExpandedRangeSchema {
  type Schema (line 35) | type Schema = ExpandedSchema | LimitSchemaValue
  type ErrorContext (line 37) | interface ErrorContext extends BaseErrorContext<"after">, Inner {}
  type Declaration (line 39) | interface Declaration
  type Node (line 49) | type Node = AfterNode
  class AfterNode (line 73) | class AfterNode extends BaseRange<After.Declaration> {
    method reduceJsonSchema (line 80) | reduceJsonSchema(base: JsonSchema, ctx: ToJsonSchema.Context): JsonSch...

FILE: ark/schema/refinements/before.ts
  type Inner (line 24) | interface Inner extends BaseRangeInner {
  type NormalizedSchema (line 28) | interface NormalizedSchema extends UnknownNormalizedRangeSchema {
  type ExpandedSchema (line 32) | interface ExpandedSchema extends UnknownExpandedRangeSchema {
  type Schema (line 36) | type Schema = ExpandedSchema | LimitSchemaValue
  type ErrorContext (line 38) | interface ErrorContext extends BaseErrorContext<"before">, Inner {}
  type Declaration (line 40) | interface Declaration
  type Node (line 50) | type Node = BeforeNode
  class BeforeNode (line 80) | class BeforeNode extends BaseRange<Before.Declaration> {
    method reduceJsonSchema (line 87) | reduceJsonSchema(base: JsonSchema, ctx: ToJsonSchema.Context): JsonSch...

FILE: ark/schema/refinements/divisor.ts
  type Inner (line 21) | interface Inner {
  type NormalizedSchema (line 25) | interface NormalizedSchema extends BaseNormalizedSchema {
  type Schema (line 29) | type Schema = NormalizedSchema | number
  type ErrorContext (line 31) | interface ErrorContext extends BaseErrorContext<"divisor">, Inner {}
  type Declaration (line 33) | interface Declaration
  type Node (line 43) | type Node = DivisorNode
  class DivisorNode (line 78) | class DivisorNode extends InternalPrimitiveConstraint<Divisor.Declaratio...
    method reduceJsonSchema (line 86) | reduceJsonSchema(schema: JsonSchema.Numeric): JsonSchema.Numeric {
  type writeIndivisibleMessage (line 105) | type writeIndivisibleMessage<actual> = writeInvalidOperandMessage<
  type writeNonIntegerDivisorMessage (line 115) | type writeNonIntegerDivisorMessage<divisor extends number> =

FILE: ark/schema/refinements/exactLength.ts
  type Inner (line 20) | interface Inner {
  type NormalizedSchema (line 24) | interface NormalizedSchema extends BaseNormalizedSchema {
  type Schema (line 28) | type Schema = NormalizedSchema | number
  type ErrorContext (line 30) | interface ErrorContext
  type Declaration (line 34) | type Declaration = declareNode<{
  type Node (line 43) | type Node = ExactLengthNode
  class ExactLengthNode (line 81) | class ExactLengthNode extends InternalPrimitiveConstraint<ExactLength.De...
    method reduceJsonSchema (line 90) | reduceJsonSchema(

FILE: ark/schema/refinements/kinds.ts
  type BoundDeclarations (line 11) | interface BoundDeclarations {
  type BoundNodesByKind (line 21) | interface BoundNodesByKind {
  type BoundKind (line 31) | type BoundKind = keyof BoundDeclarations
  type RangeKind (line 33) | type RangeKind = Exclude<BoundKind, "exactLength">
  type boundImplementationsByKind (line 35) | type boundImplementationsByKind = {

FILE: ark/schema/refinements/max.ts
  type Inner (line 19) | interface Inner extends BaseRangeInner {
  type NormalizedSchema (line 24) | interface NormalizedSchema extends UnknownExpandedRangeSchema {
  type Schema (line 28) | type Schema = NormalizedSchema | number
  type ErrorContext (line 30) | interface ErrorContext extends BaseErrorContext<"max">, Inner {}
  type Declaration (line 32) | interface Declaration
  type Node (line 42) | type Node = MaxNode
  class MaxNode (line 74) | class MaxNode extends BaseRange<Max.Declaration> {
    method reduceJsonSchema (line 80) | reduceJsonSchema(schema: JsonSchema.Numeric): JsonSchema.Numeric {

FILE: ark/schema/refinements/maxLength.ts
  type Inner (line 23) | interface Inner extends BaseRangeInner {
  type NormalizedSchema (line 27) | interface NormalizedSchema extends UnknownNormalizedRangeSchema {
  type ExpandedSchema (line 31) | interface ExpandedSchema extends UnknownExpandedRangeSchema {
  type Schema (line 35) | type Schema = ExpandedSchema | number
  type ErrorContext (line 37) | interface ErrorContext extends BaseErrorContext<"maxLength">, Inner {}
  type Declaration (line 39) | interface Declaration
  type Node (line 50) | type Node = MaxLengthNode
  class MaxLengthNode (line 81) | class MaxLengthNode extends BaseRange<MaxLength.Declaration> {
    method reduceJsonSchema (line 87) | reduceJsonSchema(

FILE: ark/schema/refinements/min.ts
  type Inner (line 18) | interface Inner extends BaseRangeInner {
  type NormalizedSchema (line 23) | interface NormalizedSchema extends UnknownExpandedRangeSchema {
  type Schema (line 27) | type Schema = NormalizedSchema | number
  type ErrorContext (line 29) | interface ErrorContext extends BaseErrorContext<"min">, Inner {}
  type Declaration (line 31) | interface Declaration
  type Node (line 41) | type Node = MinNode
  class MinNode (line 67) | class MinNode extends BaseRange<Min.Declaration> {
    method reduceJsonSchema (line 73) | reduceJsonSchema(schema: JsonSchema.Numeric): JsonSchema.Numeric {

FILE: ark/schema/refinements/minLength.ts
  type Inner (line 23) | interface Inner extends BaseRangeInner {
  type NormalizedSchema (line 27) | interface NormalizedSchema extends UnknownNormalizedRangeSchema {
  type ExpandedSchema (line 31) | interface ExpandedSchema extends UnknownExpandedRangeSchema {
  type Schema (line 35) | type Schema = ExpandedSchema | number
  type ErrorContext (line 37) | interface ErrorContext extends BaseErrorContext<"minLength">, Inner {}
  type Declaration (line 39) | interface Declaration
  type Node (line 50) | type Node = MinLengthNode
  class MinLengthNode (line 80) | class MinLengthNode extends BaseRange<MinLength.Declaration> {
    method reduceJsonSchema (line 86) | reduceJsonSchema(

FILE: ark/schema/refinements/pattern.ts
  type NormalizedSchema (line 17) | interface NormalizedSchema extends BaseNormalizedSchema {
  type Inner (line 22) | interface Inner {
  type Schema (line 27) | type Schema = NormalizedSchema | string | RegExp
  type ErrorContext (line 29) | interface ErrorContext extends BaseErrorContext<"pattern">, Inner {}
  type Declaration (line 31) | interface Declaration
  type Node (line 42) | type Node = PatternNode
  class PatternNode (line 74) | class PatternNode extends InternalPrimitiveConstraint<Pattern.Declaratio...
    method reduceJsonSchema (line 85) | reduceJsonSchema(

FILE: ark/schema/refinements/range.ts
  type BaseRangeDeclaration (line 26) | interface BaseRangeDeclaration extends BaseNodeDeclaration {
  method isStricterThan (line 63) | isStricterThan(
  method overlapsRange (line 78) | overlapsRange(r: nodeOfKind<pairedRangeKind<d["kind"]>>): boolean {
  method overlapIsUnit (line 85) | overlapIsUnit(r: nodeOfKind<pairedRangeKind<d["kind"]>>): boolean {
  type BaseRangeInner (line 92) | interface BaseRangeInner {
  type LimitValue (line 96) | type LimitValue = Date | number
  type LimitSchemaValue (line 98) | type LimitSchemaValue = Date | number | string
  type LimitInnerValue (line 100) | type LimitInnerValue<kind extends RangeKind = RangeKind> =
  type UnknownExpandedRangeSchema (line 103) | interface UnknownExpandedRangeSchema extends BaseNormalizedSchema {
  type UnknownNormalizedRangeSchema (line 108) | interface UnknownNormalizedRangeSchema extends BaseNormalizedSchema {
  type UnknownRangeSchema (line 112) | type UnknownRangeSchema = LimitSchemaValue | UnknownExpandedRangeSchema
  type ExclusiveExpandedDateRangeSchema (line 114) | interface ExclusiveExpandedDateRangeSchema extends BaseNormalizedSchema {
  type ExclusiveDateRangeSchema (line 119) | type ExclusiveDateRangeSchema =
  type InclusiveExpandedDateRangeSchema (line 123) | interface InclusiveExpandedDateRangeSchema extends BaseNormalizedSchema {
  type InclusiveDateRangeSchema (line 128) | type InclusiveDateRangeSchema =
  type ExclusiveNormalizedNumericRangeSchema (line 132) | interface ExclusiveNormalizedNumericRangeSchema
  type ExclusiveNumericRangeSchema (line 138) | type ExclusiveNumericRangeSchema =
  type InclusiveNormalizedNumericRangeSchema (line 142) | interface InclusiveNormalizedNumericRangeSchema
  type InclusiveNumericRangeSchema (line 148) | type InclusiveNumericRangeSchema =
  type LimitKind (line 152) | type LimitKind = "lower" | "upper"
  type RelativeComparator (line 154) | type RelativeComparator<kind extends LimitKind = LimitKind> = {
  type BoundKindPairsByLower (line 172) | type BoundKindPairsByLower = {
  type BoundKindPairsByUpper (line 178) | type BoundKindPairsByUpper = {
  type pairedRangeKind (line 184) | type pairedRangeKind<kind extends RangeKind> =
  type LowerBoundKind (line 188) | type LowerBoundKind = keyof typeof boundKindPairsByLower
  type LowerNode (line 190) | type LowerNode = nodeOfKind<LowerBoundKind>
  type UpperBoundKind (line 192) | type UpperBoundKind = propValueOf<typeof boundKindPairsByLower>
  type UpperNode (line 194) | type UpperNode = nodeOfKind<UpperBoundKind>
  type NumericallyBoundable (line 196) | type NumericallyBoundable = string | number | array
  type Boundable (line 198) | type Boundable = NumericallyBoundable | Date
  type LengthBoundKind (line 255) | type LengthBoundKind = "minLength" | "maxLength" | "exactLength"
  type OperandKindsByBoundKind (line 270) | type OperandKindsByBoundKind = satisfy<
  type BoundOperandKind (line 299) | type BoundOperandKind = "value" | "length" | "date"
  type LengthBoundableData (line 301) | type LengthBoundableData = string | array
  type DateRangeKind (line 303) | type DateRangeKind = "before" | "after"
  type writeUnboundableMessage (line 313) | type writeUnboundableMessage<root extends string> =

FILE: ark/schema/roots/alias.ts
  type Schema (line 26) | type Schema<alias extends string = string> =
  type NormalizedSchema (line 30) | interface NormalizedSchema<alias extends string = string>
  type Inner (line 36) | interface Inner<alias extends string = string> {
  type Declaration (line 41) | interface Declaration
  type Node (line 49) | type Node = AliasNode
  class AliasNode (line 102) | class AliasNode extends BaseRoot<Alias.Declaration> {
    method resolution (line 106) | get resolution(): BaseRoot {
    method _resolve (line 111) | protected _resolve(): BaseRoot {
    method resolutionId (line 138) | get resolutionId(): NodeId {
    method defaultShortDescription (line 152) | get defaultShortDescription(): string {
    method innerToJsonSchema (line 156) | protected innerToJsonSchema(ctx: ToJsonSchema.Context): JsonSchema {
    method compile (line 174) | compile(js: NodeCompiler): void {

FILE: ark/schema/roots/basis.ts
  method errorContext (line 18) | get errorContext(): d["errorContext"] {
  method compiledErrorContext (line 27) | get compiledErrorContext(): string {
  method compile (line 31) | compile(js: NodeCompiler): void {

FILE: ark/schema/roots/domain.ts
  type Domain (line 23) | type Domain = _Domain
  type Enumerable (line 26) | type Enumerable = "undefined" | "null" | "boolean"
  type NonEnumerable (line 28) | type NonEnumerable = Exclude<Domain, Enumerable>
  type Inner (line 30) | interface Inner<domain extends NonEnumerable = NonEnumerable> {
  type NormalizedSchema (line 35) | interface NormalizedSchema<
  type Schema (line 40) | type Schema<
  type ErrorContext (line 45) | interface ErrorContext extends BaseErrorContext<"domain">, Inner {}
  type Declaration (line 47) | interface Declaration
  type Node (line 56) | type Node = DomainNode
  class DomainNode (line 98) | class DomainNode extends InternalBasis<Domain.Declaration> {
    method nestableExpression (line 120) | get nestableExpression(): string {
    method defaultShortDescription (line 124) | get defaultShortDescription(): string {
    method innerToJsonSchema (line 128) | protected innerToJsonSchema(

FILE: ark/schema/roots/intersection.ts
  type BasisKind (line 66) | type BasisKind = "domain" | "proto"
  type ChildKind (line 68) | type ChildKind = BasisKind | RefinementKind
  type FlattenedChildKind (line 70) | type FlattenedChildKind = ChildKind | StructuralKind
  type RefinementsInner (line 72) | type RefinementsInner = {
  type Inner (line 76) | interface Inner extends RefinementsInner {
  type mutable (line 84) | type mutable = makeRootAndArrayPropertiesMutable<Inner>
  type ConstraintsSchema (line 87) | type ConstraintsSchema<inferredBasis = any> = show<
  type NormalizedSchema (line 94) | type NormalizedSchema = Omit<
  type Schema (line 99) | type Schema<inferredBasis = any> = ConstraintsSchema<inferredBasis>
  type AstSchema (line 101) | interface AstSchema extends BaseNormalizedSchema {
  type ErrorContext (line 105) | interface ErrorContext
  type Declaration (line 111) | type Declaration = declareNode<{
  type Node (line 121) | type Node = IntersectionNode
  class IntersectionNode (line 294) | class IntersectionNode extends BaseRoot<Intersection.Declaration> {
    method shallowMorphs (line 314) | get shallowMorphs(): array<Morph> {
    method defaultShortDescription (line 320) | get defaultShortDescription(): string {
    method innerToJsonSchema (line 324) | protected innerToJsonSchema(ctx: ToJsonSchema.Context): JsonSchema {
    method compile (line 371) | compile(js: NodeCompiler): void {
  type ConditionalTerminalIntersectionRoot (line 469) | type ConditionalTerminalIntersectionRoot = {
  type ConditionalTerminalIntersectionKey (line 473) | type ConditionalTerminalIntersectionKey =
  type ConditionalIntersectionKey (line 476) | type ConditionalIntersectionKey =
  type constraintKindOf (line 480) | type constraintKindOf<t> = {
  type conditionalIntersectionKeyOf (line 484) | type conditionalIntersectionKeyOf<t> =
  type intersectionChildSchemaValueOf (line 488) | type intersectionChildSchemaValueOf<k extends Intersection.FlattenedChil...
  type conditionalSchemaValueOfKey (line 491) | type conditionalSchemaValueOfKey<k extends ConditionalIntersectionKey> =
  type intersectionChildInnerValueOf (line 495) | type intersectionChildInnerValueOf<k extends Intersection.FlattenedChild...
  type conditionalRootOf (line 498) | type conditionalRootOf<t> = {

FILE: ark/schema/roots/morph.ts
  type Inner (line 32) | interface Inner {
  type Schema (line 39) | interface Schema extends BaseNormalizedSchema {
  type Declaration (line 46) | interface Declaration
  type Node (line 55) | type Node = MorphNode
  type In (line 57) | type In<morph extends Morph> = morph extends Morph<infer i> ? i : never
  type Out (line 59) | type Out<morph extends Morph> =
  type ContextFree (line 62) | type ContextFree<i = never, o = unknown> = (In: i) => o
  type Morph (line 65) | type Morph<i = never, o = unknown> = (In: i, ctx: Traversal) => o
  class MorphNode (line 151) | class MorphNode extends BaseRoot<Morph.Declaration> {
    method shallowMorphs (line 166) | get shallowMorphs(): array<Morph> {
    method rawIn (line 173) | override get rawIn(): BaseRoot {
    method rawOut (line 179) | override get rawOut(): BaseRoot {
    method declareIn (line 187) | declareIn(declaredIn: BaseRoot): MorphNode {
    method declareOut (line 194) | declareOut(declaredOut: BaseRoot): MorphNode {
    method defaultShortDescription (line 203) | get defaultShortDescription(): string {
    method innerToJsonSchema (line 207) | protected innerToJsonSchema(ctx: ToJsonSchema.Context): JsonSchema {
    method compile (line 215) | compile(js: NodeCompiler): void {
    method hasEqualMorphs (line 234) | override hasEqualMorphs(r: MorphNode): boolean {

FILE: ark/schema/roots/proto.ts
  type Reference (line 33) | type Reference = Constructor | BuiltinObjectKind
  type Schema (line 35) | type Schema<proto extends Reference = Reference> =
  type NormalizedSchema (line 39) | interface NormalizedSchema<proto extends Constructor = Constructor>
  type ExpandedSchema (line 45) | interface ExpandedSchema<proto extends Reference = Reference> {
  type Inner (line 50) | interface Inner<proto extends Constructor = Constructor> {
  type ErrorContext (line 55) | interface ErrorContext extends BaseErrorContext<"proto">, Inner {}
  type Declaration (line 57) | interface Declaration
  type Node (line 66) | type Node = ProtoNode
  class ProtoNode (line 138) | class ProtoNode extends InternalBasis<Proto.Declaration> {
    method innerToJsonSchema (line 155) | protected innerToJsonSchema(ctx: ToJsonSchema.Context): JsonSchema {
    method nestableExpression (line 178) | get nestableExpression(): string {
    method defaultShortDescription (line 184) | get defaultShortDescription(): string {

FILE: ark/schema/roots/root.ts
  type InternalRootDeclaration (line 66) | interface InternalRootDeclaration extends BaseNodeDeclaration {
  method constructor (line 80) | constructor(attachments: UnknownAttachments, $: BaseScope) {
  method rawIn (line 88) | override get rawIn(): BaseRoot {
  method rawOut (line 92) | override get rawOut(): BaseRoot {
  method internal (line 96) | get internal(): this {
  method "~standard" (line 100) | get "~standard"(): StandardSchemaV1.ArkTypeProps {
  method as (line 124) | as(): this {
  method brand (line 128) | brand(name: string): this {
  method readonly (line 133) | readonly(): this {
  method distribute (line 140) | distribute<mapOut, reduceOut = mapOut[]>(
  method shortDescription (line 154) | get shortDescription(): string {
  method toJsonSchema (line 158) | toJsonSchema(opts: ToJsonSchema.Options = {}): JsonSchema {
  method toJsonSchemaRecurse (line 187) | toJsonSchemaRecurse(ctx: ToJsonSchema.Context): JsonSchema {
  method alwaysExpandJsonSchema (line 197) | get alwaysExpandJsonSchema(): boolean {
  method toResolvedJsonSchema (line 205) | protected toResolvedJsonSchema(ctx: ToJsonSchema.Context): JsonSchema {
  method intersect (line 213) | intersect(r: unknown): BaseRoot | Disjoint {
  method rawIntersect (line 220) | rawIntersect(r: BaseRoot): BaseRoot {
  method toNeverIfDisjoint (line 224) | toNeverIfDisjoint(): BaseRoot {
  method and (line 228) | and(r: unknown): BaseRoot {
  method rawAnd (line 233) | rawAnd(r: BaseRoot): BaseRoot {
  method or (line 238) | or(r: unknown): BaseRoot {
  method rawOr (line 243) | rawOr(r: BaseRoot): BaseRoot {
  method map (line 248) | map(flatMapEntry: PropFlatMapper): BaseRoot {
  method pick (line 252) | pick(...keys: KeyOrKeyNode[]): BaseRoot {
  method omit (line 256) | omit(...keys: KeyOrKeyNode[]): BaseRoot {
  method required (line 260) | required(): BaseRoot {
  method partial (line 264) | partial(): BaseRoot {
  method keyof (line 269) | keyof(): BaseRoot {
  method props (line 284) | get props(): Prop.Node[] {
  method merge (line 290) | merge(r: unknown): BaseRoot {
  method applyStructuralOperation (line 304) | private applyStructuralOperation<operation extends StructuralOperationNa...
  method get (line 340) | get(...path: GettableKeyOrNode[]): BaseRoot {
  method extract (line 346) | extract(r: unknown): BaseRoot {
  method exclude (line 353) | exclude(r: unknown): BaseRoot {
  method array (line 360) | array(): BaseRoot {
  method overlaps (line 372) | overlaps(r: unknown): boolean {
  method extends (line 377) | extends(r: unknown): boolean {
  method ifExtends (line 386) | ifExtends(r: unknown): BaseRoot | undefined {
  method subsumes (line 390) | subsumes(r: unknown): boolean {
  method configure (line 395) | configure(
  method describe (line 402) | describe(description: string, selector: NodeSelector = "shallow"): this {
  method optional (line 408) | optional(): [this, "?"] {
  method default (line 414) | default(thunkableValue: unknown): [this, "=", unknown] {
  method from (line 420) | from(input: unknown): unknown {
  method _pipe (line 426) | protected _pipe(...morphs: Morph[]): BaseRoot {
  method tryPipe (line 434) | protected tryPipe(...morphs: Morph[]): BaseRoot {
  method to (line 461) | to(def: unknown): BaseRoot {
  method toNode (line 465) | private toNode(root: BaseRoot): BaseRoot {
  method rawPipeOnce (line 471) | rawPipeOnce(morph: Morph): BaseRoot {
  method narrow (line 489) | narrow(predicate: Predicate): BaseRoot {
  method constrain (line 493) | constrain<kind extends Constraint.PrimitiveKind>(
  method constrainIn (line 500) | constrainIn<kind extends Constraint.PrimitiveKind>(
  method constrainOut (line 507) | constrainOut<kind extends Constraint.PrimitiveKind>(
  method _constrain (line 514) | private _constrain(
  method onUndeclaredKey (line 559) | onUndeclaredKey(cfg: UndeclaredKeyBehavior | UndeclaredKeyConfig): BaseR...
  method hasEqualMorphs (line 577) | hasEqualMorphs(r: BaseRoot): boolean {
  method onDeepUndeclaredKey (line 600) | onDeepUndeclaredKey(behavior: UndeclaredKeyBehavior): BaseRoot {
  method filter (line 604) | filter(predicate: Predicate): BaseRoot {
  method divisibleBy (line 608) | divisibleBy(schema: Divisor.Schema): BaseRoot {
  method matching (line 612) | matching(schema: Pattern.Schema): BaseRoot {
  method atLeast (line 616) | atLeast(schema: InclusiveNumericRangeSchema): BaseRoot {
  method atMost (line 620) | atMost(schema: InclusiveNumericRangeSchema): BaseRoot {
  method moreThan (line 624) | moreThan(schema: ExclusiveNumericRangeSchema): BaseRoot {
  method lessThan (line 628) | lessThan(schema: ExclusiveNumericRangeSchema): BaseRoot {
  method atLeastLength (line 632) | atLeastLength(schema: InclusiveNumericRangeSchema): BaseRoot {
  method atMostLength (line 636) | atMostLength(schema: InclusiveNumericRangeSchema): BaseRoot {
  method moreThanLength (line 640) | moreThanLength(schema: ExclusiveNumericRangeSchema): BaseRoot {
  method lessThanLength (line 644) | lessThanLength(schema: ExclusiveNumericRangeSchema): BaseRoot {
  method exactlyLength (line 648) | exactlyLength(schema: ExactLength.Schema): BaseRoot {
  method atOrAfter (line 652) | atOrAfter(schema: InclusiveDateRangeSchema): BaseRoot {
  method atOrBefore (line 656) | atOrBefore(schema: InclusiveDateRangeSchema): BaseRoot {
  method laterThan (line 660) | laterThan(schema: ExclusiveDateRangeSchema): BaseRoot {
  method earlierThan (line 664) | earlierThan(schema: ExclusiveDateRangeSchema): BaseRoot {
  type UndeclaredKeyConfig (line 669) | type UndeclaredKeyConfig = {
  type emptyBrandNameMessage (line 676) | type emptyBrandNameMessage = typeof emptyBrandNameMessage
  type exclusivizeRangeSchema (line 705) | type exclusivizeRangeSchema<schema extends UnknownRangeSchema> =
  type intersectRoot (line 715) | type intersectRoot<l extends RootKind, r extends NodeKind> =
  type asymmetricIntersectionOf (line 719) | type asymmetricIntersectionOf<l extends NodeKind, r extends NodeKind> =
  type schemaKindRightOf (line 726) | type schemaKindRightOf<kind extends RootKind> = Extract<
  type schemaKindOrRightOf (line 731) | type schemaKindOrRightOf<kind extends RootKind> =
  type StructuralOperationBranchResultByName (line 753) | type StructuralOperationBranchResultByName = {
  type StructuralOperationName (line 765) | type StructuralOperationName =
  type writeNonStructuralOperandMessage (line 781) | type writeNonStructuralOperandMessage<

FILE: ark/schema/roots/union.ts
  type ChildKind (line 66) | type ChildKind = UnionChildKind
  type ChildSchema (line 68) | type ChildSchema = NodeSchema<ChildKind>
  type ChildNode (line 70) | type ChildNode = nodeOfKind<ChildKind>
  type Schema (line 72) | type Schema = NormalizedSchema | readonly RootSchema[]
  type NormalizedSchema (line 74) | interface NormalizedSchema extends BaseNormalizedSchema {
  type Inner (line 79) | interface Inner {
  type ErrorContext (line 84) | interface ErrorContext extends BaseErrorContext<"union"> {
  type Declaration (line 88) | interface Declaration
  type Node (line 99) | type Node = UnionNode
  class UnionNode (line 241) | class UnionNode extends BaseRoot<Union.Declaration> {
    method branchGroups (line 247) | get branchGroups(): BaseRoot[] {
    method createBranchedOptimisticRootApply (line 277) | createBranchedOptimisticRootApply(): BaseNode["rootApply"] {
    method shallowMorphs (line 288) | get shallowMorphs(): array<Morph> {
    method defaultShortDescription (line 295) | get defaultShortDescription(): string {
    method innerToJsonSchema (line 302) | protected innerToJsonSchema(ctx: ToJsonSchema.Context): JsonSchema {
    method compile (line 364) | compile(js: NodeCompiler): void {
    method compileIndiscriminable (line 443) | private compileIndiscriminable(js: NodeCompiler): void {
    method nestableExpression (line 482) | get nestableExpression(): string {
    method discriminate (line 488) | discriminate(): Discriminant | null {
  type CaseResolutionContext (line 638) | type CaseResolutionContext = {
  type BranchEntry (line 645) | type BranchEntry = {
  type DescribeBranchesOptions (line 841) | type DescribeBranchesOptions = {
  type CaseKey (line 1012) | type CaseKey<kind extends DiscriminantKind = DiscriminantKind> =
  type DiscriminantLocation (line 1015) | type DiscriminantLocation<kind extends DiscriminantKind = DiscriminantKi...
  type Discriminant (line 1021) | interface Discriminant<kind extends DiscriminantKind = DiscriminantKind>
  type DiscriminantCandidate (line 1026) | type DiscriminantCandidate<kind extends DiscriminantKind = DiscriminantK...
  type CandidateCases (line 1032) | type CandidateCases<kind extends DiscriminantKind = DiscriminantKind> = {
  type CaseContext (line 1036) | type CaseContext = {
  type CaseDiscriminant (line 1041) | type CaseDiscriminant = nodeOfKind<DiscriminantKind> | Domain.Enumerable
  type DiscriminatedCases (line 1043) | type DiscriminatedCases<
  type DiscriminantKinds (line 1049) | type DiscriminantKinds = {
  type DiscriminantKind (line 1054) | type DiscriminantKind = show<keyof DiscriminantKinds>

FILE: ark/schema/roots/unit.ts
  type Schema (line 28) | interface Schema<value = unknown> extends BaseNormalizedSchema {
  type Inner (line 32) | interface Inner<value = unknown> {
  type ErrorContext (line 36) | interface ErrorContext<value = unknown>
  type Declaration (line 40) | interface Declaration
  type Node (line 49) | type Node = UnitNode
  class UnitNode (line 111) | class UnitNode extends InternalBasis<Unit.Declaration> {
    method defaultShortDescription (line 130) | get defaultShortDescription(): string {
    method innerToJsonSchema (line 136) | protected innerToJsonSchema(ctx: ToJsonSchema.Context): JsonSchema {

FILE: ark/schema/scope.ts
  type InternalResolutions (line 77) | type InternalResolutions = Record<string, InternalResolution | undefined>
  type exportedNameOf (line 79) | type exportedNameOf<$> = Exclude<keyof $ & string, PrivateDeclaration>
  type resolvableReferenceIn (line 81) | type resolvableReferenceIn<$> = {
  type resolveReference (line 91) | type resolveReference<reference extends resolvableReferenceIn<$>, $> =
  type flatResolutionsOf (line 94) | type flatResolutionsOf<$> = show<
  type resolutionsOfReference (line 104) | type resolutionsOfReference<k extends string, v> =
  type prefixKeys (line 114) | type prefixKeys<o, prefix extends string> = {
  type PrivateDeclaration (line 118) | type PrivateDeclaration<key extends string = string> = `#${key}`
  type InternalResolution (line 120) | type InternalResolution = BaseRoot | GenericRoot | InternalModule
  type toInternalScope (line 122) | type toInternalScope<$> = BaseScope<{
  type CachedResolution (line 131) | type CachedResolution = NodeId | BaseRoot | GenericRoot
  type writeDuplicateAliasError (line 148) | type writeDuplicateAliasError<alias extends string> =
  type AliasDefEntry (line 151) | type AliasDefEntry = [name: string, defValue: unknown]
  type GlobalOnlyConfigOptionName (line 155) | type GlobalOnlyConfigOptionName = satisfy<
  type ScopeOnlyConfigOptions (line 160) | interface ScopeOnlyConfigOptions {
  type ArkSchemaScopeConfig (line 165) | interface ArkSchemaScopeConfig
  type ResolvedScopeConfig (line 169) | interface ResolvedScopeConfig
  type PrecompiledReferences (line 212) | type PrecompiledReferences = {
  method [arkKind] (line 249) | get [arkKind](): "scope" {
  method constructor (line 265) | constructor(
  method cacheGetter (line 347) | protected cacheGetter<name extends keyof this>(
  method internal (line 355) | get internal(): this {
  method json (line 362) | get json(): JsonStructure {
  method defineSchema (line 367) | defineSchema<def extends RootSchema>(def: def): def {
  method lazilyResolve (line 396) | lazilyResolve(resolve: () => BaseRoot, syntheticAlias?: string): Alias.N...
  method preparseNode (line 415) | protected preparseNode(
  method bindReference (line 465) | bindReference<reference extends BaseNode | GenericRoot>(
  method resolveRoot (line 497) | resolveRoot(name: string): BaseRoot {
  method maybeResolveRoot (line 504) | maybeResolveRoot(name: string): BaseRoot | undefined {
  method maybeResolveSubalias (line 511) | protected maybeResolveSubalias(
  method ambient (line 520) | get ambient(): InternalModule {
  method maybeResolve (line 524) | maybeResolve(name: string): Exclude<CachedResolution, string> | undefined {
  method createParseContext (line 574) | protected createParseContext<input extends BaseParseContextInput>(
  method traversal (line 586) | traversal(root: unknown): Traversal {
  method import (line 600) | import(...names: string[]): SchemaModule {
  method export (line 621) | export(...names: string[]): SchemaModule {
  method resolve (line 658) | resolve<name extends exportedNameOf<$>>(
  method parseDefinition (line 691) | parseDefinition(def: unknown, opts: BaseParseOptions = {}): BaseRoot {
  method finalize (line 711) | finalize<node extends BaseRoot>(node: node): node {
  class SchemaScope (line 733) | class SchemaScope<$ extends {} = {}> extends BaseScope<$> {
    method parseOwnDefinitionFormat (line 734) | parseOwnDefinitionFormat(def: unknown, ctx: NodeParseContext): BaseRoot {
    method preparseOwnDefinitionFormat (line 738) | protected preparseOwnDefinitionFormat(
    method preparseOwnAliasEntry (line 745) | protected preparseOwnAliasEntry(k: string, v: unknown): AliasDefEntry {
    method normalizeRootScopeValue (line 749) | protected normalizeRootScopeValue(v: unknown): unknown {
  type instantiateAliases (line 810) | type instantiateAliases<aliases> = {
  type SchemaScopeParser (line 815) | type SchemaScopeParser = <const aliases>(
  type InternalSchemaParser (line 828) | type InternalSchemaParser = (
  type RootExportCache (line 847) | type RootExportCache = Record<
  type writeUnresolvableMessage (line 873) | type writeUnresolvableMessage<token extends string> =
  type writeNonSubmoduleDotMessage (line 881) | type writeNonSubmoduleDotMessage<name extends string> =
  type writeMissingSubmoduleAccessMessage (line 889) | type writeMissingSubmoduleAccessMessage<name extends string> =

FILE: ark/schema/shared/compile.ts
  type CoercibleValue (line 14) | type CoercibleValue = string | number | boolean | null | undefined
  class CompiledFunction (line 16) | class CompiledFunction<
    method constructor (line 25) | constructor(...args: args) {
    method indent (line 39) | indent(): this {
    method dedent (line 44) | dedent(): this {
    method prop (line 49) | prop(key: PropertyKey, optional = false): string {
    method index (line 53) | index(key: string | number, optional = false): string {
    method line (line 57) | line(statement: string): this {
    method const (line 62) | const(identifier: string, expression: CoercibleValue): this {
    method let (line 67) | let(identifier: string, expression: CoercibleValue): this {
    method set (line 71) | set(identifier: string, expression: CoercibleValue): this {
    method if (line 75) | if(condition: string, then: (self: this) => this): this {
    method elseIf (line 79) | elseIf(condition: string, then: (self: this) => this): this {
    method else (line 83) | else(then: (self: this) => this): this {
    method for (line 88) | for(
    method forIn (line 97) | forIn(object: string, body: (self: this) => this): this {
    method block (line 101) | block(prefix: string, contents: (self: this) => this, suffix = ""): th...
    method return (line 109) | return(expression: CoercibleValue = ""): this {
    method write (line 113) | write(name = "anonymous", indent: number = 0): string {
    method compile (line 124) | compile(): compiledSignature {
  type InvokeOptions (line 150) | interface InvokeOptions extends ReferenceOptions {
  type ReferenceOptions (line 154) | interface ReferenceOptions {
  type Context (line 160) | interface Context {
  class NodeCompiler (line 166) | class NodeCompiler extends CompiledFunction<Fn, ["data", "ctx"]> {
    method constructor (line 170) | constructor(ctx: NodeCompiler.Context) {
    method invoke (line 176) | invoke(node: BaseNode | NodeId, opts?: InvokeOptions): string {
    method referenceToId (line 187) | referenceToId(id: NodeId, opts?: ReferenceOptions): string {
    method requiresContextFor (line 193) | requiresContextFor(node: BaseNode): boolean {
    method initializeErrorCount (line 197) | initializeErrorCount(): this {
    method returnIfFail (line 201) | returnIfFail(): this {
    method returnIfFailFast (line 205) | returnIfFailFast(): this {
    method traverseKey (line 211) | traverseKey(
    method check (line 227) | check(node: BaseNode, opts?: InvokeOptions): this {

FILE: ark/schema/shared/declare.ts
  type withMetaPrefixedKeys (line 9) | type withMetaPrefixedKeys<o> = {
  type DefaultArkEnv (line 13) | interface DefaultArkEnv {
  type NodeMeta (line 18) | interface NodeMeta extends JsonSchema.UniversalMeta, UnknownErrorConfigs {
  type ArkEnv (line 24) | interface ArkEnv extends DefaultArkEnv {}
  type meta (line 27) | type meta = show<NodeMeta & ReturnType<ArkEnv["meta"]>>
  type onFail (line 29) | type onFail = ReturnType<ArkEnv["onFail"]>
  type TypeMeta (line 33) | type TypeMeta = Omit<ArkEnv.meta, "onFail">
  type Collapsible (line 36) | type Collapsible<meta extends TypeMeta = TypeMeta> = meta | string
  type Mapper (line 38) | type Mapper<meta extends TypeMeta = TypeMeta> = (
  type MappableInput (line 42) | type MappableInput<meta extends TypeMeta = TypeMeta> =
  type Internal (line 47) | type Internal = MappableInput<ArkEnv.meta>
  type BaseNormalizedSchema (line 51) | interface BaseNormalizedSchema extends withMetaPrefixedKeys<TypeMeta> {
  type DeclarationInput (line 55) | interface DeclarationInput {
  type BaseErrorContext (line 67) | interface BaseErrorContext<kind extends NodeKind = NodeKind> {
  type defaultErrorContext (line 73) | type defaultErrorContext<d extends DeclarationInput> = show<
  type declareNode (line 77) | type declareNode<
  type prerequisiteOf (line 93) | type prerequisiteOf<d extends DeclarationInput> =
  type attachmentsOf (line 96) | type attachmentsOf<d extends BaseNodeDeclaration> =
  type attachedInner (line 101) | type attachedInner<d extends BaseNodeDeclaration> =
  type BaseNodeDeclaration (line 104) | interface BaseNodeDeclaration {
  type ownIntersectionResult (line 116) | type ownIntersectionResult<d extends BaseNodeDeclaration> =

FILE: ark/schema/shared/disjoint.ts
  type DisjointEntry (line 11) | interface DisjointEntry<kind extends DisjointKind = DisjointKind> {
  type OperandsByDisjointKind (line 19) | type OperandsByDisjointKind = {
  type DisjointEntryContext (line 29) | type DisjointEntryContext = {
  class Disjoint (line 34) | class Disjoint extends Array<DisjointEntry> {
    method init (line 35) | static init<kind extends DisjointKind>(
    method add (line 50) | add<kind extends DisjointKind>(
    method summary (line 66) | get summary(): string {
    method describeReasons (line 70) | describeReasons(): string {
    method throw (line 85) | throw(): never {
    method invert (line 89) | invert(): Disjoint {
    method withPrefixKey (line 103) | withPrefixKey(key: PropertyKey, kind: Prop.Kind): Disjoint {
    method toNeverIfDisjoint (line 111) | toNeverIfDisjoint(): BaseRoot {
  type DisjointKind (line 116) | type DisjointKind = keyof OperandsByDisjointKind
  type writeUnsatisfiableExpressionError (line 131) | type writeUnsatisfiableExpressionError<expression extends string> =

FILE: ark/schema/shared/errors.ts
  type ArkErrorResult (line 24) | type ArkErrorResult = ArkError | ArkErrors
  class ArkError (line 26) | class ArkError<
    method constructor (line 38) | constructor(
    method transform (line 74) | transform(
    method hasCode (line 87) | hasCode<code extends ArkErrorCode>(code: code): this is ArkError<code> {
    method propString (line 91) | get propString(): string {
    method expected (line 95) | get expected(): string {
    method actual (line 103) | get actual(): string {
    method problem (line 111) | get problem(): string {
    method message (line 119) | get message(): string {
    method flat (line 127) | get flat(): ArkError[] {
    method toJSON (line 131) | toJSON(): JsonObject {
    method toString (line 143) | toString(): string {
    method throw (line 147) | throw(): never {
  type Handler (line 153) | type Handler<returns = unknown> = (errors: ArkErrors) => returns
  class ArkErrors (line 162) | class ArkErrors
    method constructor (line 170) | constructor(ctx: Traversal) {
    method flatByPath (line 186) | get flatByPath(): Record<string, ArkError[]> {
    method flatProblemsByPath (line 193) | get flatProblemsByPath(): Record<string, string[]> {
    method throw (line 209) | throw(): never {
    method toTraversalError (line 217) | toTraversalError(): TraversalError {
    method add (line 224) | add(error: ArkError): void {
    method transform (line 266) | transform(f: (e: ArkError) => ArkError): ArkErrors {
    method merge (line 276) | merge(errors: ArkErrors): void {
    method affectsPath (line 290) | affectsPath(path: ReadonlyPath): boolean {
    method summary (line 306) | get summary(): string {
    method issues (line 313) | get issues(): this {
    method toJSON (line 317) | toJSON(): JsonArray {
    method toString (line 321) | toString(): string {
    method addAncestorPaths (line 325) | private addAncestorPaths(error: ArkError): void {
  class TraversalError (line 335) | class TraversalError extends Error {
    method constructor (line 339) | constructor(errors: ArkErrors) {
  type DerivableErrorContext (line 353) | interface DerivableErrorContext<
  type DerivableErrorContextInput (line 365) | type DerivableErrorContextInput<
  type ArkErrorCode (line 373) | type ArkErrorCode = {
  type ArkErrorContextInputsByCode (line 377) | type ArkErrorContextInputsByCode = {
  type ArkErrorContextInput (line 381) | type ArkErrorContextInput<code extends ArkErrorCode = ArkErrorCode> =
  type NodeErrorContextInput (line 384) | type NodeErrorContextInput<code extends ArkErrorCode = ArkErrorCode> =
  type MessageContext (line 387) | type MessageContext<code extends ArkErrorCode = ArkErrorCode> = Omit<
  type ProblemContext (line 392) | type ProblemContext<code extends ArkErrorCode = ArkErrorCode> = Omit<
  type CustomErrorInput (line 397) | type CustomErrorInput = show<
  type ArkErrorInput (line 402) | type ArkErrorInput = string | ArkErrorContextInput | CustomErrorInput
  type ProblemConfig (line 404) | type ProblemConfig<code extends ArkErrorCode = ArkErrorCode> =
  type ProblemWriter (line 408) | type ProblemWriter<code extends ArkErrorCode = ArkErrorCode> = (
  type MessageConfig (line 412) | type MessageConfig<code extends ArkErrorCode = ArkErrorCode> =
  type MessageWriter (line 416) | type MessageWriter<code extends ArkErrorCode = ArkErrorCode> = (
  type getAssociatedDataForError (line 420) | type getAssociatedDataForError<code extends ArkErrorCode> =
  type ExpectedConfig (line 423) | type ExpectedConfig<code extends ArkErrorCode = ArkErrorCode> =
  type ExpectedWriter (line 427) | type ExpectedWriter<code extends ArkErrorCode = ArkErrorCode> = (
  type ActualConfig (line 431) | type ActualConfig<code extends ArkErrorCode = ArkErrorCode> =
  type ActualWriter (line 435) | type ActualWriter<code extends ArkErrorCode = ArkErrorCode> = (

FILE: ark/schema/shared/implement.ts
  type BasisKind (line 38) | type BasisKind = (typeof basisKinds)[number]
  type StructuralKind (line 47) | type StructuralKind = (typeof structuralKinds)[number]
  type PrestructuralKind (line 61) | type PrestructuralKind = (typeof prestructuralKinds)[number]
  type RefinementKind (line 69) | type RefinementKind = (typeof refinementKinds)[number]
  type ConstraintKind (line 73) | type ConstraintKind = (typeof constraintKinds)[number]
  type RootKind (line 85) | type RootKind = (typeof rootKinds)[number]
  type NodeKind (line 87) | type NodeKind = RootKind | ConstraintKind
  type orderedNodeKinds (line 89) | type orderedNodeKinds = [...typeof rootKinds, ...typeof constraintKinds]
  type OpenNodeKind (line 93) | type OpenNodeKind = {
  type ClosedNodeKind (line 97) | type ClosedNodeKind = Exclude<NodeKind, OpenNodeKind>
  type PrimitiveKind (line 99) | type PrimitiveKind = Exclude<RefinementKind | BasisKind, "structure">
  type CompositeKind (line 101) | type CompositeKind = Exclude<NodeKind, PrimitiveKind>
  type OrderedNodeKinds (line 103) | type OrderedNodeKinds = typeof nodeKinds
  type RightsByKind (line 115) | type RightsByKind = accumulateRightKinds<OrderedNodeKinds, {}>
  type kindOrRightOf (line 117) | type kindOrRightOf<kind extends NodeKind> = kind | kindRightOf<kind>
  type kindLeftOf (line 119) | type kindLeftOf<kind extends NodeKind> = Exclude<
  type kindOrLeftOf (line 124) | type kindOrLeftOf<kind extends NodeKind> = kind | kindLeftOf<kind>
  type accumulateRightKinds (line 126) | type accumulateRightKinds<remaining extends readonly NodeKind[], result> =
  type InternalIntersectionOptions (line 133) | interface InternalIntersectionOptions {
  type IntersectionContext (line 137) | interface IntersectionContext extends InternalIntersectionOptions {
  type ConstraintIntersection (line 142) | type ConstraintIntersection<
  type ConstraintIntersectionMap (line 151) | type ConstraintIntersectionMap<kind extends ConstraintKind> = show<
  type RootIntersection (line 159) | type RootIntersection<
  type TypeIntersectionMap (line 168) | type TypeIntersectionMap<kind extends RootKind> = {
  type IntersectionMap (line 172) | type IntersectionMap<kind extends NodeKind> =
  type UnknownIntersectionMap (line 176) | type UnknownIntersectionMap = {
  type UnknownIntersectionResult (line 184) | type UnknownIntersectionResult = BaseNode | Disjoint | null
  type PrecedenceByKind (line 186) | type PrecedenceByKind = {
  function assertNodeKind (line 198) | function assertNodeKind<kind extends NodeKind>(
  type precedenceOfKind (line 212) | type precedenceOfKind<kind extends NodeKind> = PrecedenceByKind[kind]
  type kindRightOf (line 218) | type kindRightOf<kind extends NodeKind> = RightsByKind[kind]
  type UnionChildKind (line 230) | type UnionChildKind = (typeof unionChildKinds)[number]
  type MorphChildKind (line 237) | type MorphChildKind = (typeof morphChildKinds)[number]
  type keySchemaDefinitions (line 239) | type keySchemaDefinitions<d extends BaseNodeDeclaration> = {
  type keyRequiringSchemaDefinition (line 243) | type keyRequiringSchemaDefinition<d extends BaseNodeDeclaration> = Exclude<
  type NodeKeyImplementation (line 261) | type NodeKeyImplementation<
  type CommonNodeImplementationInput (line 289) | interface CommonNodeImplementationInput<d extends BaseNodeDeclaration> {
  type UnknownNodeImplementation (line 310) | interface UnknownNodeImplementation
  type nodeImplementationOf (line 325) | type nodeImplementationOf<d extends BaseNodeDeclaration> =
  type nodeImplementationInputOf (line 332) | type nodeImplementationInputOf<d extends BaseNodeDeclaration> =
  type nodeSchemaaultsImplementationInputFor (line 342) | type nodeSchemaaultsImplementationInputFor<kind extends NodeKind> = requ...
  type DescriptionWriter (line 355) | type DescriptionWriter<kind extends NodeKind = NodeKind> = (
  type UnknownAttachments (line 359) | interface UnknownAttachments {
  type NarrowedAttachments (line 378) | interface NarrowedAttachments<d extends BaseNodeDeclaration>

FILE: ark/schema/shared/intersections.ts
  type InternalNodeIntersection (line 19) | type InternalNodeIntersection<ctx> = <l extends BaseNode, r extends Base...

FILE: ark/schema/shared/jsonSchema.ts
  type JsonSchema (line 9) | type JsonSchema = JsonSchema.NonBooleanBranch
  type ListableJsonSchema (line 10) | type ListableJsonSchema = listable<JsonSchema>
  type JsonSchemaOrBoolean (line 11) | type JsonSchemaOrBoolean = listable<JsonSchema.Branch>
  type TypeName (line 14) | type TypeName =
  type Meta (line 27) | interface Meta<t = unknown> extends UniversalMeta<t> {
  type Format (line 32) | type Format = autocomplete<
  type UniversalMeta (line 47) | interface UniversalMeta<t = unknown> {
  type Composition (line 56) | type Composition = Union | OneOf | Intersection | Not
  type NonBooleanBranch (line 58) | type NonBooleanBranch =
  type Branch (line 69) | type Branch = boolean | JsonSchema
  type RefString (line 71) | type RefString = `#/$defs/${string}`
  type Ref (line 76) | interface Ref extends Meta {
  type Constrainable (line 81) | interface Constrainable extends Meta {
  type Intersection (line 85) | interface Intersection extends Meta {
  type Not (line 89) | interface Not extends Meta {
  type OneOf (line 93) | interface OneOf extends Meta {
  type Union (line 97) | interface Union extends Meta {
  type Const (line 101) | interface Const extends Meta {
  type Enum (line 105) | interface Enum extends Meta {
  type String (line 109) | interface String extends Meta<string> {
  type Numeric (line 119) | interface Numeric extends Meta<number> {
  type Object (line 131) | interface Object extends Meta<JsonObject> {
  type Array (line 142) | interface Array extends Meta<JsonArray> {
  type LengthBoundable (line 153) | type LengthBoundable = String | Array
  type Structure (line 155) | type Structure = Object | Array

FILE: ark/schema/shared/registry.ts
  type RegisteredReference (line 21) | type RegisteredReference<to extends string = string> =

FILE: ark/schema/shared/standardSchema.ts
  type StandardTypedV1 (line 4) | interface StandardTypedV1<Input = unknown, Output = Input> {
  type Props (line 11) | interface Props<Input = unknown, Output = Input> {
  type Types (line 21) | interface Types<Input = unknown, Output = Input> {
  type InferInput (line 29) | type InferInput<Schema extends StandardTypedV1> = NonNullable<
  type InferOutput (line 34) | type InferOutput<Schema extends StandardTypedV1> = NonNullable<
  type StandardSchemaV1 (line 40) | interface StandardSchemaV1<Input = unknown, Output = Input> {
  type Props (line 47) | interface Props<Input = unknown, Output = Input>
  type Result (line 57) | type Result<Output> = SuccessResult<Output> | FailureResult
  type SuccessResult (line 60) | interface SuccessResult<Output> {
  type Options (line 67) | interface Options {
  type FailureResult (line 73) | interface FailureResult {
  type Issue (line 79) | interface Issue {
  type PathSegment (line 87) | interface PathSegment {
  type Types (line 93) | interface Types<Input = unknown, Output = Input>
  type InferInput (line 97) | type InferInput<Schema extends StandardTypedV1> =
  type InferOutput (line 101) | type InferOutput<Schema extends StandardTypedV1> =
  type ArkTypeProps (line 105) | interface ArkTypeProps<Input = unknown, Output = Input>
  type StandardJSONSchemaV1 (line 113) | interface StandardJSONSchemaV1<Input = unknown, Output = Input> {
  type Props (line 120) | interface Props<Input = unknown, Output = Input>
  type Converter (line 127) | interface Converter {
  type Target (line 145) | type Target =
  type Options (line 153) | interface Options {
  type Types (line 162) | interface Types<Input = unknown, Output = Input>
  type InferInput (line 166) | type InferInput<Schema extends StandardTypedV1> =
  type InferOutput (line 170) | type InferOutput<Schema extends StandardTypedV1> =

FILE: ark/schema/shared/toJsonSchema.ts
  class ToJsonSchemaError (line 15) | class ToJsonSchemaError<
    method constructor (line 22) | constructor(code: code, context: ToJsonSchema.ContextByCode[code]) {
    method hasCode (line 28) | hasCode<code extends ToJsonSchema.Code>(
  type Unjsonifiable (line 70) | type Unjsonifiable = object | symbol | bigint | undefined
  type Error (line 72) | type Error = InstanceType<typeof ToJsonSchema.Error>
  type BaseContext (line 74) | interface BaseContext<
  type ArrayObjectContext (line 82) | interface ArrayObjectContext
  type ArrayPostfixContext (line 87) | interface ArrayPostfixContext
  type DefaultValueContext (line 92) | interface DefaultValueContext
  type DomainContext (line 97) | interface DomainContext extends BaseContext<"domain", JsonSchema> {
  type MorphContext (line 101) | interface MorphContext extends BaseContext<"morph", JsonSchema> {
  type PatternIntersectionContext (line 105) | interface PatternIntersectionContext
  type PredicateContext (line 110) | interface PredicateContext
  type ProtoContext (line 115) | interface ProtoContext extends BaseContext<"proto", JsonSchema> {
  type SymbolKeyContext (line 119) | type SymbolKeyContext =
  type IndexSymbolKeyContext (line 124) | interface IndexSymbolKeyContext
  type RequiredSymbolKeyContext (line 131) | interface RequiredSymbolKeyContext
  type OptionalSymbolKeyContext (line 138) | interface OptionalSymbolKeyContext
  type UnitContext (line 146) | interface UnitContext extends BaseContext<"unit", JsonSchema> {
  type DateContext (line 150) | interface DateContext extends BaseContext<"date", JsonSchema> {
  type ContextByCode (line 155) | interface ContextByCode {
  type Code (line 169) | type Code = keyof ContextByCode
  type FallbackContext (line 171) | type FallbackContext = ContextByCode[Code]
  type HandlerByCode (line 173) | type HandlerByCode = satisfy<
  type VariadicArraySchema (line 192) | type VariadicArraySchema = requireKeys<JsonSchema.Array, "items">
  type StringSchemaWithPattern (line 194) | type StringSchemaWithPattern = requireKeys<
  type UniversalFallback (line 199) | type UniversalFallback = (ctx: FallbackContext) => JsonSchema
  type FallbackObject (line 201) | interface FallbackObject extends Partial<HandlerByCode> {
  type FallbackOption (line 205) | type FallbackOption = UniversalFallback | FallbackObject
  type Target (line 207) | type Target = satisfy<
  type Options (line 212) | interface Options {
  type Context (line 236) | interface Context extends Required<Options> {

FILE: ark/schema/shared/traversal.ts
  type MorphsAtPath (line 14) | type MorphsAtPath = {
  type BranchTraversal (line 19) | type BranchTraversal = {
  type InternalTraversal (line 25) | type InternalTraversal = Omit<Traversal, "error" | "mustBe" | "reject">
  class Traversal (line 27) | class Traversal {
    method constructor (line 62) | constructor(root: unknown, config: ResolvedConfig) {
    method data (line 72) | get data(): unknown {
    method propString (line 84) | get propString(): string {
    method reject (line 93) | reject(input: ArkErrorInput): false {
    method mustBe (line 104) | mustBe(expected: string): false {
    method error (line 119) | error(input: ArkErrorInput): ArkError {
    method hasError (line 132) | hasError(): boolean {
    method currentBranch (line 136) | get currentBranch(): BranchTraversal | undefined {
    method queueMorphs (line 140) | queueMorphs(morphs: array<Morph>): void {
    method finalize (line 149) | finalize(onFail?: ArkErrors.Handler | null): unknown {
    method currentErrorCount (line 166) | get currentErrorCount(): number {
    method failFast (line 176) | get failFast(): boolean {
    method pushBranch (line 180) | pushBranch(): void {
    method popBranch (line 187) | popBranch(): BranchTraversal | undefined {
    method external (line 197) | get external(): this {
    method errorFromNodeContext (line 207) | errorFromNodeContext(input: NodeErrorContextInput): ArkError {
    method errorFromContext (line 211) | private errorFromContext(errCtx: ArkErrorContextInput): ArkError {
    method applyQueuedMorphs (line 219) | private applyQueuedMorphs() {
    method applyMorphsAtPath (line 235) | private applyMorphsAtPath(path: ReadonlyPath, morphs: array<Morph>): v...
  type TraversalMethodsByKind (line 303) | type TraversalMethodsByKind<input = unknown> = {
  type TraversalKind (line 309) | type TraversalKind = keyof TraversalMethodsByKind & {}
  type TraverseAllows (line 311) | type TraverseAllows<data = unknown> = (
  type TraverseApply (line 316) | type TraverseApply<data = unknown> = (

FILE: ark/schema/shared/utils.ts
  type makeRootAndArrayPropertiesMutable (line 26) | type makeRootAndArrayPropertiesMutable<inner> = {
  type internalImplementationOf (line 32) | type internalImplementationOf<
  type arkKind (line 44) | type arkKind = typeof arkKind
  type ArkKinds (line 48) | interface ArkKinds {
  type ArkKind (line 59) | type ArkKind = show<keyof ArkKinds>
  type unwrapDefault (line 69) | type unwrapDefault<thunkableValue> =

FILE: ark/schema/structure/index.ts
  type KeyKind (line 32) | type KeyKind = Exclude<RootKind, "unit">
  type KeyNode (line 34) | type KeyNode = nodeOfKind<KeyKind>
  type Schema (line 36) | interface Schema extends BaseNormalizedSchema {
  type Inner (line 41) | interface Inner {
  type Declaration (line 46) | interface Declaration
  type Node (line 57) | type Node = IndexNode
  class IndexNode (line 120) | class IndexNode extends BaseConstraint<Index.Declaration> {
    method _transform (line 155) | protected override _transform(
    method compile (line 165) | compile(): void {
  type writeInvalidPropertyKeyMessage (line 183) | type writeInvalidPropertyKeyMessage<indexSchema extends string> =

FILE: ark/schema/structure/optional.ts
  type Schema (line 25) | interface Schema extends Prop.Schema {
  type Inner (line 29) | interface Inner extends Prop.Inner {
  type Declaration (line 33) | type Declaration = declareNode<
  type Node (line 41) | type Node = OptionalNode
  type withDefault (line 44) | type withDefault = requireKeys<
  class OptionalNode (line 86) | class OptionalNode extends BaseProp<"optional"> {
    method constructor (line 87) | constructor(...args: ConstructorParameters<typeof BaseProp>) {
    method rawIn (line 93) | override get rawIn(): OptionalNode {
    method outProp (line 106) | get outProp(): Prop.Node {
  type writeUnassignableDefaultValueMessage (line 214) | type writeUnassignableDefaultValueMessage<

FILE: ark/schema/structure/prop.ts
  type Kind (line 27) | type Kind = "required" | "optional"
  type Node (line 29) | type Node = nodeOfKind<Kind>
  type Schema (line 31) | interface Schema extends BaseNormalizedSchema {
  type Inner (line 36) | interface Inner {
  type Declaration (line 41) | interface Declaration<kind extends Kind = Kind> {
  method _transform (line 112) | protected override _transform(
  method hasDefault (line 122) | hasDefault(): this is Optional.Node.withDefault {
  method compile (line 149) | compile(js: NodeCompiler): void {

FILE: ark/schema/structure/required.ts
  type ErrorContext (line 11) | interface ErrorContext extends BaseErrorContext<"required"> {
  type Schema (line 15) | interface Schema extends Prop.Schema {}
  type Inner (line 17) | interface Inner extends Prop.Inner {}
  type Declaration (line 19) | type Declaration = declareNode<
  type Node (line 28) | type Node = RequiredNode
  class RequiredNode (line 55) | class RequiredNode extends BaseProp<"required"> {

FILE: ark/schema/structure/sequence.ts
  type NormalizedSchema (line 52) | interface NormalizedSchema extends BaseNormalizedSchema {
  type Schema (line 61) | type Schema = NormalizedSchema | RootSchema
  type DefaultableSchema (line 63) | type DefaultableSchema = [schema: RootSchema, defaultValue: unknown]
  type DefaultableElement (line 65) | type DefaultableElement = [node: BaseRoot, defaultValue: unknown]
  type Inner (line 67) | interface Inner {
  type Declaration (line 81) | interface Declaration
  type Node (line 92) | type Node = SequenceNode
  class SequenceNode (line 305) | class SequenceNode extends BaseConstraint<Sequence.Declaration> {
    method addFlatRefs (line 335) | protected addFlatRefs(): FlatRef[] {
    method elementAtIndex (line 396) | protected elementAtIndex(data: array, index: number): SequenceElement {
    method element (line 432) | get element(): BaseRoot {
    method compile (line 437) | compile(js: NodeCompiler): void {
    method _transform (line 474) | protected override _transform(
    method reduceJsonSchema (line 487) | reduceJsonSchema(
  type postfixAfterOptionalOrDefaultableMessage (line 614) | type postfixAfterOptionalOrDefaultableMessage =
  type postfixWithoutVariadicMessage (line 620) | type postfixWithoutVariadicMessage = typeof postfixWithoutVariadicMessage
  type SequenceElement (line 622) | type SequenceElement =
  type SequenceElementKind (line 627) | type SequenceElementKind = satisfy<
  type PrevariadicSequenceElement (line 632) | type PrevariadicSequenceElement =
  type PrefixSequenceElement (line 637) | type PrefixSequenceElement = {
  type OptionalSequenceElement (line 642) | type OptionalSequenceElement = {
  type PostfixSequenceElement (line 647) | type PostfixSequenceElement = {
  type VariadicSequenceElement (line 652) | type VariadicSequenceElement = {
  type DefaultableSequenceElement (line 657) | type DefaultableSequenceElement = {
  type SequenceTuple (line 663) | type SequenceTuple = array<SequenceElement>
  type SequenceIntersectionState (line 665) | type SequenceIntersectionState = {

FILE: ark/schema/structure/structure.ts
  type UndeclaredKeyBehavior (line 70) | type UndeclaredKeyBehavior = "ignore" | UndeclaredKeyHandling
  type UndeclaredKeyHandling (line 72) | type UndeclaredKeyHandling = "reject" | "delete"
  type Schema (line 75) | interface Schema extends BaseNormalizedSchema {
  type Inner (line 83) | interface Inner {
  type mutable (line 92) | type mutable = makeRootAndArrayPropertiesMutable<Inner>
  type Declaration (line 95) | interface Declaration
  type Node (line 105) | type Node = StructureNode
  class StructureNode (line 400) | class StructureNode extends BaseConstraint<Structure.Declaration> {
    method keyof (line 429) | keyof(): BaseRoot {
    method map (line 439) | map(flatMapProp: PropFlatMapper): StructureNode {
    method assertHasKeys (line 480) | assertHasKeys(keys: array<KeyOrKeyNode>): void {
    method get (line 490) | get(indexer: GettableKeyOrNode, ...path: array<GettableKeyOrNode>): Ba...
    method pick (line 556) | pick(...keys: KeyOrKeyNode[]): StructureNode {
    method omit (line 561) | omit(...keys: KeyOrKeyNode[]): StructureNode {
    method optionalize (line 566) | optionalize(): StructureNode {
    method require (line 576) | require(): StructureNode {
    method merge (line 591) | merge(r: StructureNode): StructureNode {
    method filterKeys (line 603) | private filterKeys(
    method defaultable (line 712) | get defaultable(): Optional.Node.withDefault[] {
    method _compileDeclaresKey (line 725) | _compileDeclaresKey(js: NodeCompiler): string {
    method structuralMorph (line 742) | get structuralMorph(): Morph | undefined {
    method compile (line 749) | compile(js: NodeCompiler): unknown {
    method compileExhaustiveEntry (line 782) | protected compileExhaustiveEntry(js: NodeCompiler): NodeCompiler {
    method reduceJsonSchema (line 808) | reduceJsonSchema(
    method reduceObjectJsonSchema (line 833) | reduceObjectJsonSchema(
  type PartiallyInitializedStructure (line 943) | type PartiallyInitializedStructure = attachmentsOf<Structure.Declaration> &
  type PropFlatMapper (line 1047) | type PropFlatMapper = (entry: Prop.Node) => listable<MappedPropInner>
  type MappedPropInner (line 1049) | type MappedPropInner = BaseMappedPropInner | OptionalMappedPropInner
  type BaseMappedPropInner (line 1052) | interface BaseMappedPropInner extends Required.Schema {
  type OptionalMappedPropInner (line 1056) | interface OptionalMappedPropInner extends Optional.Schema {
  type NormalizedIndex (line 1078) | type NormalizedIndex = {
  type writeDuplicateKeyMessage (line 1135) | type writeDuplicateKeyMessage<key extends Key> =

FILE: ark/type/__tests__/cast.test.ts
  type F (line 26) | type F = () => boolean

FILE: ark/type/__tests__/declared.test.ts
  type Expected (line 13) | type Expected = { a: string; b?: number }
  type Expected (line 24) | type Expected = { a: string; b?: number }
  type Expected (line 34) | type Expected = [string, number]
  type Expected (line 92) | type Expected = { a: string; b?: number }
  type Expected (line 130) | type Expected = { f?: string }
  type Expected (line 139) | type Expected = { f: string | undefined }
  type Expected (line 147) | type Expected = { f?: string | undefined }
  type Expected (line 155) | type Expected = { f?: string }
  type Expected (line 209) | type Expected = { a: string; b?: number }
  type Expected (line 220) | type Expected = { a: string; b?: number }
  type Expected (line 235) | type Expected = { a: number; b?: number }
  type Expected (line 246) | type Expected = { a: number; b?: number }
  type Expected (line 258) | type Expected = { a: string; b?: number }
  type Expected (line 269) | type Expected = { f?: string }
  type Expected (line 279) | type Expected = { f?: string }
  type Member (line 291) | type Member = "a" | "b" | undefined // without undefined it works
  type Object (line 294) | type Object = {

FILE: ark/type/__tests__/enclosed.test.ts
  type Expected (line 177) | type Expected = typeof s extends `"${infer enclosed}"` ? enclosed : never

FILE: ark/type/__tests__/generic.test.ts
  class MyExternalClass (line 493) | class MyExternalClass<T> {
    method constructor (line 496) | constructor(data: T) {

FILE: ark/type/__tests__/instanceOf.test.ts
  class Sub (line 44) | class Sub extends Base {
  class ArkClass (line 65) | class ArkClass {
  class ArkClass (line 88) | class ArkClass {

FILE: ark/type/__tests__/match.test.ts
  type Data (line 674) | type Data =
  type Discriminated (line 809) | type Discriminated =
  type Data (line 899) | type Data = {

FILE: ark/type/__tests__/narrow.test.ts
  type Expected (line 86) | type Expected = number | boolean[]

FILE: ark/type/__tests__/objects/indexSignatures.test.ts
  type Key (line 153) | type Key = symbol | "foo" | "bar" | "baz"
  type Expected (line 254) | type Expected = { normal: string; optional?: string }

FILE: ark/type/__tests__/objects/mapped.test.ts
  type ExpectedKey (line 66) | type ExpectedKey<t = type<object>> =
  type Base (line 80) | type Base = typeof Base.infer
  type Original (line 82) | type Original = { [k in ExpectedKey]: Base }

FILE: ark/type/__tests__/operator.bench.ts
  type Expected (line 178) | type Expected = {

FILE: ark/type/__tests__/pipe.test.ts
  class TypeA (line 1106) | class TypeA {
    method constructor (line 1108) | constructor() {}
  class TypeB (line 1111) | class TypeB {
    method constructor (line 1113) | constructor() {}

FILE: ark/type/__tests__/realWorld.test.ts
  class TimeStub (line 11) | class TimeStub {
  type Test (line 169) | type Test = typeof badType.infer
  type MyType (line 603) | type MyType = typeof MyType.in.infer
  type T (line 1130) | type T = {
  function fn (line 1239) | function fn<
  class ValidatedUserID (line 1304) | class ValidatedUserID {
    method fromString (line 1305) | static fromString(value: string): ValidatedUserID {
    method constructor (line 1308) | private constructor(readonly data: string) {}
  function someFunction (line 1372) | function someFunction<TSchema extends Record<string, any>>(
  function someFunction (line 1388) | function someFunction<schema extends type.Any<Record<string, any>>>(

FILE: ark/type/__tests__/runtime.bench.ts
  type Data (line 145) | type Data =

FILE: ark/type/__tests__/scope.test.ts
  type Package (line 292) | type Package = distill.Out<
  type Value (line 474) | type Value = boolean | number | string | { [k: string]: Value } | Value[]

FILE: ark/type/__tests__/submodule.test.ts
  type Expected$ (line 300) | type Expected$ = {
  type DeepExpected$ (line 371) | type DeepExpected$ = {

FILE: ark/type/__tests__/this.test.ts
  type ExpectedDisappointingGift (line 12) | type ExpectedDisappointingGift = {
  type Initial (line 56) | type Initial = {
  type Expected (line 59) | type Expected = {

FILE: ark/type/__tests__/thunk.test.ts
  type BrandedId (line 165) | type BrandedId = typeof types.id.t

FILE: ark/type/attributes.ts
  type Comparator (line 23) | type Comparator = "<" | "<=" | ">" | ">=" | "=="
  type RegexLiteral (line 25) | type RegexLiteral<source extends string = string> = `/${source}/`
  type DateLiteral (line 27) | type DateLiteral<source extends string = string> =
  type LimitLiteral (line 31) | type LimitLiteral = number | DateLiteral
  type normalizeLimit (line 33) | type normalizeLimit<limit> =
  type distill (line 38) | type distill<t, side extends distill.Side> = finalizeDistillation<
  type Side (line 44) | type Side = "in" | "out" | "introspectableOut"
  type In (line 46) | type In<t> = distill<t, "in">
  type Out (line 48) | type Out<t> = distill<t, "out">
  type Out (line 51) | type Out<t> = distill<t, "introspectableOut">
  type finalizeDistillation (line 55) | type finalizeDistillation<t, distilled> =
  type _distill (line 58) | type _distill<t, side extends distill.Side> =
  type distillMappable (line 80) | type distillMappable<o, side extends distill.Side> =
  type distillIo (line 93) | type distillIo<i, o extends Out, side extends distill.Side> =
  type unwrapInput (line 100) | type unwrapInput<t> =
  type inferredDefaultKeyOf (line 107) | type inferredDefaultKeyOf<o> =
  type distillArray (line 118) | type distillArray<t extends array, side extends distill.Side> =
  type alignReadonly (line 128) | type alignReadonly<result extends unknown[], original extends array> =
  type distillNonArraykeys (line 132) | type distillNonArraykeys<
  type distillArrayFromPrefix (line 147) | type distillArrayFromPrefix<
  type distillArrayFromPostfix (line 161) | type distillArrayFromPostfix<
  type BuiltinTerminalObjectKind (line 170) | type BuiltinTerminalObjectKind = Exclude<
  type TerminallyInferredObject (line 176) | type TerminallyInferredObject =
  type inferPredicate (line 180) | type inferPredicate<t, predicate> =
  type inferNaryPipe (line 185) | type inferNaryPipe<morphs extends readonly Morph[]> = _inferNaryPipe<
  type _inferNaryPipe (line 190) | type _inferNaryPipe<remaining extends readonly unknown[], result> =
  type inferNaryIntersection (line 197) | type inferNaryIntersection<types extends readonly unknown[]> =
  type _inferNaryIntersection (line 202) | type _inferNaryIntersection<remaining extends readonly unknown[], result> =
  type inferNaryMerge (line 207) | type inferNaryMerge<types extends readonly unknown[]> =
  type _inferUnorderedMerge (line 211) | type _inferUnorderedMerge<
  type optionalAtLeastOnceUnionKeyOf (line 241) | type optionalAtLeastOnceUnionKeyOf<t> =
  type _inferNaryMerge (line 244) | type _inferNaryMerge<remaining extends readonly unknown[], result> =
  type inferMorphOut (line 251) | type inferMorphOut<morph extends Morph> = Exclude<
  type Out (line 258) | interface Out<o = any> {
  type To (line 264) | interface To<o = any> extends Out<o> {
  type InferredMorph (line 268) | type InferredMorph<i = never, o extends Out = Out> = (In: i) => o
  type Default (line 272) | type Default<t = unknown, v = unknown> = { [defaultsToKey]: [t, v] }
  type withDefault (line 277) | type withDefault<t, v, undistributed = t> =
  type addDefaultToMorph (line 281) | type addDefaultToMorph<t extends InferredMorph, v> =
  type normalizeMorphDistribution (line 288) | type normalizeMorphDistribution<
  type defaultFor (line 313) | type defaultFor<t = unknown> =
  type termOrType (line 319) | type termOrType<t> = t | Type<t, any>
  type inferIntersection (line 321) | type inferIntersection<l, r> = normalizeMorphDistribution<
  type inferMorph (line 325) | type inferMorph<t, morph extends Morph> =
  type inferPipe (line 330) | type inferPipe<l, r> = normalizeMorphDistribution<
  type _inferIntersection (line 334) | type _inferIntersection<l, r, piped extends boolean> =
  type MorphableIntersection (line 353) | interface MorphableIntersection<piped extends boolean>
  type intersectObjects (line 358) | type intersectObjects<l, r, piped extends boolean> =

FILE: ark/type/config.ts
  type KeywordConfig (line 7) | type KeywordConfig = {
  type parseConfigurableFlatAlias (line 14) | type parseConfigurableFlatAlias<k extends string, v> =
  type ArkConfig (line 20) | interface ArkConfig extends ArkSchemaConfig {
  type ArkEnv (line 28) | interface ArkEnv {
  type $ (line 42) | type $ = ReturnType<ArkEnv["$"]>
  type meta (line 44) | type meta = ArkEnv.meta
  type prototypes (line 46) | type prototypes = ArkEnv.prototypes

FILE: ark/type/declare.ts
  type DeclarationParser (line 24) | type DeclarationParser<$> = <
  type finalizePreinferred (line 37) | type finalizePreinferred<preinferred, def, $, ctx extends DeclareContext> =
  type DeclareContext (line 44) | type DeclareContext = {
  type validateDeclared (line 48) | type validateDeclared<declared, def, $, ctx extends DeclareContext> =
  type validateInference (line 53) | type validateInference<def, declared, $, args, ctx extends DeclareContex...
  type validateArrayInference (line 64) | type validateArrayInference<
  type validateObjectInference (line 79) | type validateObjectInference<
  type declaredOptionalKeySuggestion (line 98) | type declaredOptionalKeySuggestion<k extends string, def> =
  type declaredOptionalValueSuggestion (line 105) | type declaredOptionalValueSuggestion<
  type validateShallowInference (line 122) | type validateShallowInference<
  type declarationMismatch (line 131) | type declarationMismatch<inferred, declared> = ErrorType<{

FILE: ark/type/fn.ts
  type BaseFnParser (line 20) | type BaseFnParser<$ = {}> = <
  type FnParser (line 54) | interface FnParser<$ = {}> extends BaseFnParser<$> {
  type RawFnParser (line 68) | type RawFnParser = (
  type FnParserAttachments (line 72) | type FnParserAttachments = Omit<FnParser, never>
  class InternalFnParser (line 74) | class InternalFnParser extends Callable<(...args: unknown[]) => Fn> {
    method constructor (line 75) | constructor($: InternalScope) {
  type meta (line 109) | type meta = {
  type TypedFn (line 114) | interface TypedFn<
  class InternalTypedFn (line 127) | class InternalTypedFn extends Callable<(...args: unknown[]) => unknown> {
    method constructor (line 133) | constructor(raw: Fn, params: IntersectionNode, returns: BaseRoot) {
  type introspectable (line 163) | interface introspectable {
  type validateFnArgs (line 168) | type validateFnArgs<args, $> =
  type validateFnParamDefs (line 179) | type validateFnParamDefs<paramDefs extends readonly unknown[], $> =

FILE: ark/type/generic.ts
  type ParameterString (line 34) | type ParameterString<params extends string = string> = `<${params}>`
  type extractParams (line 36) | type extractParams<s extends ParameterString> =
  type validateParameterString (line 39) | type validateParameterString<s extends ParameterString, $> =
  type validateGenericArg (line 44) | type validateGenericArg<arg, param extends GenericParamAst, $> =
  type GenericInstantiator (line 48) | type GenericInstantiator<
  type instantiateGeneric (line 148) | type instantiateGeneric<
  type bindGenericArgs (line 161) | type bindGenericArgs<params extends array<GenericParamAst>, $, args> = {
  type baseGenericResolutions (line 168) | type baseGenericResolutions<params extends array<GenericParamAst>, $> =
  type baseGenericConstraints (line 173) | type baseGenericConstraints<params extends array<GenericParamAst>> = {
  type Generic (line 177) | interface Generic<
  type GenericConstructor (line 198) | type GenericConstructor<
  type GenericDeclaration (line 207) | type GenericDeclaration<
  type parseValidGenericParams (line 212) | type parseValidGenericParams<def extends ParameterString, $> = conform<
  type emptyGenericParameterMessage (line 220) | type emptyGenericParameterMessage = typeof emptyGenericParameterMessage
  type parseGenericParams (line 222) | type parseGenericParams<def extends string, $> = parseNextNameChar<
  type ParamsTerminator (line 229) | type ParamsTerminator = WhitespaceChar | ","
  type parseName (line 250) | type parseName<
  type parseNextNameChar (line 256) | type parseNextNameChar<
  type extendsToken (line 276) | type extendsToken = typeof extendsToken
  type _parseOptionalConstraint (line 301) | type _parseOptionalConstraint<
  type genericParamDefToAst (line 331) | type genericParamDefToAst<schema extends GenericParamDef, $> =
  type genericParamDefsToAst (line 336) | type genericParamDefsToAst<defs extends array<GenericParamDef>, $> = [
  type GenericParser (line 340) | type GenericParser<$ = {}> = <
  type GenericBodyParser (line 353) | interface GenericBodyParser<params extends array<GenericParamAst>, $> {

FILE: ark/type/keywords/Array.ts
  class liftFromHkt (line 7) | class liftFromHkt extends Hkt<[element: unknown]> {
  type module (line 38) | type module = Module<submodule>
  type submodule (line 40) | type submodule = Submodule<$>
  type $ (line 42) | type $ = {
  type NonNegativeIntegerString (line 50) | type NonNegativeIntegerString =

FILE: ark/type/keywords/FormData.ts
  type FormDataValue (line 7) | type FormDataValue = string | File
  type ParsedFormData (line 9) | type ParsedFormData = Record<string, FormDataValue | FormDataValue[]>
  type FormDataEntries (line 38) | type FormDataEntries = [string, FormDataValue][]
  type module (line 61) | type module = Module<submodule>
  type submodule (line 63) | type submodule = Submodule<$>
  type $ (line 65) | type $ = {

FILE: ark/type/keywords/TypedArray.ts
  type module (line 24) | type module = Module<TypedArray.$>
  type submodule (line 27) | type submodule = Submodule<$>
  type $ (line 29) | type $ = {

FILE: ark/type/keywords/builtins.ts
  class MergeHkt (line 7) | class MergeHkt extends Hkt<[base: object, props: object]> {
  type arkBuiltins (line 24) | type arkBuiltins = Module<arkBuiltins.$>
  type submodule (line 27) | type submodule = Submodule<$>
  type $ (line 29) | type $ = {

FILE: ark/type/keywords/constructors.ts
  type module (line 32) | type module = Module<submodule>
  type submodule (line 34) | type submodule = Submodule<$>
  type keywords (line 36) | interface keywords extends ecmascript, platform {}
  type $ (line 38) | interface $ extends Omit<keywords, keyof wrapped>, wrapped {}
  type wrapped (line 40) | interface wrapped {
  type ecmascript (line 46) | type ecmascript = Omit<
  type platform (line 51) | type platform = PlatformObjects
  type instances (line 53) | interface instances extends ecmascript, platform {}
  type NonDegenerateName (line 57) | type NonDegenerateName =
  type instanceOf (line 66) | type instanceOf<name extends NonDegenerateName = NonDegenerateName> =

FILE: ark/type/keywords/keywords.ts
  type Ark (line 28) | interface Ark
  type keywords (line 33) | interface keywords
  type wrapped (line 40) | interface wrapped extends arkPrototypes.wrapped {
  type flat (line 47) | type flat = flatResolutionsOf<Ark>
  type typeAttachments (line 49) | interface typeAttachments extends arkTsKeywords.$ {
  type boundTypeAttachments (line 57) | interface boundTypeAttachments<$>
  type cast (line 108) | interface cast<to> {
  type errors (line 112) | type errors = ArkErrors
  type validate (line 114) | type validate<def, $ = {}, args = bindThis<def>> = validateDefinition<
  type instantiate (line 120) | type instantiate<def, $ = {}, args = bindThis<def>> = instantiateType<
  type infer (line 125) | type infer<def, $ = {}, args = bindThis<def>> = inferDefinition<
  type In (line 132) | type In<def, $ = {}, args = {}> = distill.In<
  type Out (line 136) | type Out<def, $ = {}, args = {}> = distill.Out<
  type Out (line 141) | type Out<def, $ = {}, args = {}> = distill.introspectable.Out<
  type brand (line 147) | type brand<t, id> =
  type Any (line 155) | interface Any<out t = any, $ = any> extends BaseType<t, $> {}
  type type (line 158) | type type<t = unknown, $ = {}> = Type<t, $>

FILE: ark/type/keywords/number.ts
  type module (line 60) | type module = Module<submodule>
  type submodule (line 62) | type submodule = Submodule<$>
  type $ (line 64) | type $ = {

FILE: ark/type/keywords/string.ts
  type module (line 71) | type module = Module<submodule>
  type submodule (line 73) | type submodule = Submodule<$>
  type $ (line 75) | type $ = {
  type module (line 100) | type module = Module<submodule>
  type submodule (line 102) | type submodule = Submodule<$>
  type $ (line 104) | type $ = {
  type module (line 127) | type module = Module<submodule>
  type submodule (line 129) | type submodule = Submodule<$>
  type $ (line 131) | type $ = {
  type DayDelimiter (line 173) | type DayDelimiter = "." | "/" | "-"
  type DayPart (line 177) | type DayPart = DayPatterns[PartKey]
  type PartKey (line 179) | type PartKey = keyof DayPatterns
  type DayPatterns (line 181) | type DayPatterns = {
  type fragment (line 187) | type fragment<part extends DayPart, delimiter extends DayDelimiter> =
  type DayPattern (line 191) | type DayPattern<delimiter extends DayDelimiter = DayDelimiter> =
  type DateFormat (line 206) | type DateFormat = "iso" | DayPattern
  type DateOptions (line 208) | type DateOptions = {
  type ParsedDayParts (line 218) | type ParsedDayParts = {
  type module (line 354) | type module = Module<stringDate.submodule>
  type submodule (line 356) | type submodule = Submodule<$>
  type $ (line 358) | type $ = {
  type submodule (line 366) | type submodule = Submodule<$>
  type $ (line 368) | type $ = {
  type submodule (line 375) | type submodule = Submodule<$>
  type $ (line 377) | type $ = {
  type module (line 426) | type module = Module<submodule>
  type submodule (line 428) | type submodule = Submodule<$>
  type $ (line 430) | type $ = {
  type module (line 499) | type module = Module<submodule>
  type submodule (line 501) | type submodule = Submodule<$>
  type $ (line 503) | type $ = {
  type module (line 526) | type module = Module<submodule>
  type submodule (line 528) | type submodule = Submodule<$>
  type $ (line 530) | type $ = {
  type NormalizedForm (line 538) | type NormalizedForm = (typeof normalizedForms)[number]
  constant NFC (line 566) | const NFC = Scope.module(
  constant NFD (line 576) | const NFD = Scope.module(
  constant NFKC (line 586) | const NFKC = Scope.module(
  constant NFKD (line 596) | const NFKD = Scope.module(
  type module (line 620) | type module = Module<submodule>
  type submodule (line 622) | type submodule = Submodule<$>
  type $ (line 624) | type $ = {
  type submodule (line 633) | type submodule = Submodule<$>
  type $ (line 635) | type $ = {
  type submodule (line 642) | type submodule = Submodule<$>
  type $ (line 644) | type $ = {
  type submodule (line 651) | type submodule = Submodule<$>
  type $ (line 653) | type $ = {
  type submodule (line 660) | type submodule = Submodule<$>
  type $ (line 662) | type $ = {
  type module (line 689) | type module = Module<submodule>
  type submodule (line 691) | type submodule = Submodule<$>
  type $ (line 693) | type $ = {
  type module (line 749) | type module = Module<submodule>
  type submodule (line 751) | type submodule = Submodule<$>
  type $ (line 753) | type $ = {
  type module (line 776) | type module = Module<submodule>
  type submodule (line 778) | type submodule = Submodule<$>
  type $ (line 780) | type $ = {
  type module (line 821) | type module = Module<submodule>
  type submodule (line 823) | type submodule = Submodule<$>
  type $ (line 825) | type $ = {
  type module (line 884) | type module = Module<submodule>
  type submodule (line 886) | type submodule = Submodule<$>
  type $ (line 888) | type $ = {
  type flat (line 901) | type flat = {}
  type module (line 939) | type module = Module<string.submodule>
  type submodule (line 941) | type submodule = Submodule<$>
  type $ (line 943) | type $ = {

FILE: ark/type/keywords/ts.ts
  type arkTsKeywords (line 29) | type arkTsKeywords = Module<arkTsKeywords.$>
  type submodule (line 32) | type submodule = Submodule<$>
  type $ (line 34) | type $ = {
  type submodule (line 61) | type submodule = Submodule<$>
  type $ (line 63) | type $ = {
  type submodule (line 84) | type submodule = Submodule<$>
  type $ (line 86) | type $ = {
  type submodule (line 103) | type submodule = Submodule<$>
  type $ (line 105) | type $ = {
  class RecordHkt (line 111) | class RecordHkt extends Hkt<[Key, unknown]> {
  class PickHkt (line 129) | class PickHkt extends Hkt<[object, Key]> {
  class OmitHkt (line 141) | class OmitHkt extends Hkt<[object, Key]> {
  class PartialHkt (line 153) | class PartialHkt extends Hkt<[object]> {
  class RequiredHkt (line 165) | class RequiredHkt extends Hkt<[object]> {
  class ExcludeHkt (line 177) | class ExcludeHkt extends Hkt<[unknown, unknown]> {
  class ExtractHkt (line 188) | class ExtractHkt extends Hkt<[unknown, unknown]> {
  type module (line 211) | type module = Module<arkTsGenerics.$>
  type submodule (line 213) | type submodule = Submodule<$>
  type $ (line 215) | type $ = {

FILE: ark/type/match.ts
  type MatchParserContext (line 29) | type MatchParserContext<input = unknown> = {
  type from (line 38) | type from<ctx extends MatchParserContext> = ctx
  type init (line 40) | type init<$, input = unknown, checked extends boolean = false> = from<{
  type atKey (line 48) | type atKey<ctx extends MatchParserContext, key extends string> = from<{
  type MatchParser (line 57) | interface MatchParser<$> extends CaseMatchParser<ctx.init<$>> {
  method if (line 405) | if (i !== entries.length - 1) {

FILE: ark/type/module.ts
  type Module (line 13) | interface Module<$ extends {} = {}> extends RootModule<exportScope<$>> {}
  type exportScope (line 15) | type exportScope<$> = bindExportsToScope<$, $>
  type BoundModule (line 22) | interface BoundModule<exports extends {}, $>
  type bindExportsToScope (line 25) | type bindExportsToScope<exports, $> = {
  type Submodule (line 29) | type Submodule<exports extends {}> = RootModule<
  type instantiateExport (line 34) | type instantiateExport<t, $> =

FILE: ark/type/nary.ts
  type NaryUnionParser (line 17) | type NaryUnionParser<$> = {
  type NaryIntersectionParser (line 564) | type NaryIntersectionParser<$> = {
  type NaryMergeParser (line 1179) | type NaryMergeParser<$> = {

FILE: ark/type/parser/ast/bounds.ts
  type validateRange (line 13) | type validateRange<l, comparator extends Comparator, r, $, args> =
  type validateBound (line 19) | type validateBound<
  type isNumericallyBoundable (line 42) | type isNumericallyBoundable<bounded> =
  type writeDoubleRightBoundMessage (line 53) | type writeDoubleRightBoundMessage<root extends string> =

FILE: ark/type/parser/ast/default.ts
  type validateDefault (line 9) | type validateDefault<baseAst, unitLiteral extends UnitLiteral, $, args> =

FILE: ark/type/parser/ast/divisor.ts
  type validateDivisor (line 8) | type validateDivisor<l, $, args> =

FILE: ark/type/parser/ast/generic.ts
  type GenericInstantiationAst (line 13) | type GenericInstantiationAst<
  type inferGenericInstantiation (line 18) | type inferGenericInstantiation<
  type validateGenericInstantiation (line 42) | type validateGenericInstantiation<
  type validateGenericArgs (line 49) | type validateGenericArgs<
  type resolveScope (line 69) | type resolveScope<g$, $> =

FILE: ark/type/parser/ast/infer.ts
  type inferAstRoot (line 18) | type inferAstRoot<ast, $, args> =
  type inferAstIn (line 21) | type inferAstIn<ast, $, args> = distill.In<inferAstRoot<ast, $, args>>
  type inferAstOut (line 23) | type inferAstOut<ast, $, args> = distill.Out<inferAstRoot<ast, $, args>>
  type DefAst (line 25) | type DefAst<def = unknown, alias extends string = string> = [
  type InferredAst (line 31) | type InferredAst<t = unknown, def extends string = string> = [
  type inferExpression (line 37) | type inferExpression<ast, $, args> =
  type PrefixOperator (line 73) | type PrefixOperator = "keyof" | "instanceof" | "===" | "node"
  type PrefixExpression (line 75) | type PrefixExpression<
  type PostfixExpression (line 80) | type PostfixExpression<
  type InfixExpression (line 85) | type InfixExpression<

FILE: ark/type/parser/ast/keyof.ts
  type validateKeyof (line 6) | type validateKeyof<operandAst, $, args> =

FILE: ark/type/parser/ast/utils.ts
  type astToString (line 11) | type astToString<ast> =
  type ConstraintOperator (line 24) | type ConstraintOperator = satisfy<OperatorToken, "%" | Comparator>
  type writeConstrainedMorphMessage (line 26) | type writeConstrainedMorphMessage<constrainedAst> =

FILE: ark/type/parser/ast/validate.ts
  type validateAst (line 35) | type validateAst<ast, $, args> =
  type writeUnexpectedExpressionMessage (line 66) | type writeUnexpectedExpressionMessage<expression extends string> =
  type writePrefixedPrivateReferenceMessage (line 74) | type writePrefixedPrivateReferenceMessage<name extends string> =
  type validateInferredAst (line 77) | type validateInferredAst<inferred, def extends string> =
  type validateString (line 100) | type validateString<def extends string, $, args> =
  type validateInfix (line 111) | type validateInfix<ast extends InfixExpression, $, args> =
  type shallowOptionalMessage (line 119) | type shallowOptionalMessage = typeof shallowOptionalMessage
  type shallowDefaultableMessage (line 124) | type shallowDefaultableMessage = typeof shallowDefaultableMessage

FILE: ark/type/parser/definition.ts
  type inferDefinition (line 138) | type inferDefinition<def, $, args> =
  type inferStandardSchema (line 153) | type inferStandardSchema<
  type validateDefinition (line 164) | type validateDefinition<def, $, args> =
  type validateInnerDefinition (line 180) | type validateInnerDefinition<def, $, args> =
  type validateTuple (line 195) | type validateTuple<def extends array, $, args> =
  type inferTuple (line 202) | type inferTuple<def extends array, $, args> =
  type TerminalObjectDefinition (line 208) | type TerminalObjectDefinition =
  type ThunkCast (line 214) | type ThunkCast<t = unknown> = () => type.cast<t>
  type BadDefinitionType (line 216) | type BadDefinitionType = Exclude<Primitive, string>
  type writeBadDefinitionTypeMessage (line 223) | type writeBadDefinitionTypeMessage<actual extends string> =

FILE: ark/type/parser/objectLiteral.ts
  type MutableStructureSchema (line 39) | type MutableStructureSchema = mutable<NodeSchema<"structure">, 2>
  type inferObjectLiteral (line 174) | type inferObjectLiteral<def extends object, $, args> = show<
  type _inferObjectLiteral (line 186) | type _inferObjectLiteral<def extends object, $, args> = {
  type validateObjectLiteral (line 205) | type validateObjectLiteral<def, $, args> = {
  type nonOptionalKeyFromEntry (line 224) | type nonOptionalKeyFromEntry<k extends PropertyKey, v, $, args> =
  type optionalKeyFromEntry (line 242) | type optionalKeyFromEntry<k extends PropertyKey, v> =
  type PreparsedKey (line 259) | type PreparsedKey = PreparsedEntryKey | PreparsedSpecialKey
  type normalizedKeyKind (line 261) | type normalizedKeyKind<kind extends EntryKeyKind> =
  type PreparsedEntryKey (line 264) | type PreparsedEntryKey<
  type PreparsedSpecialKey (line 272) | type PreparsedSpecialKey<kind extends SpecialKeyKind = SpecialKeyKind> =
  type from (line 278) | type from<t extends PreparsedKey> = t
  type ParsedKeyKind (line 281) | type ParsedKeyKind = EntryKeyKind | SpecialKeyKind
  type EntryKeyKind (line 283) | type EntryKeyKind = "required" | "optional" | "index"
  type SpecialKeyKind (line 285) | type SpecialKeyKind = "spread" | "undeclared"
  type MetaKey (line 287) | type MetaKey = "..." | "+"
  type IndexKey (line 289) | type IndexKey<def extends string = string> = `[${def}]`
  type preparseKey (line 314) | type preparseKey<k> =
  type writeInvalidSpreadTypeMessage (line 354) | type writeInvalidSpreadTypeMessage<def extends string> =

FILE: ark/type/parser/property.ts
  type ParsedPropertyKind (line 25) | type ParsedPropertyKind = "plain" | "optional" | "defaultable"
  type ParsedProperty (line 27) | type ParsedProperty =
  type ParsedRequiredProperty (line 32) | type ParsedRequiredProperty = BaseRoot
  type ParsedOptionalProperty (line 34) | type ParsedOptionalProperty = readonly [BaseRoot, "?"]
  type validateProperty (line 52) | type validateProperty<def, keyKind extends ParsedKeyKind, $, args> =
  type isDefaultable (line 84) | type isDefaultable<def, $, args> =
  type OptionalPropertyDefinition (line 92) | type OptionalPropertyDefinition<baseDef = unknown> =
  type OptionalPropertyString (line 96) | type OptionalPropertyString<baseDef extends string = string> =
  type OptionalPropertyTuple (line 99) | type OptionalPropertyTuple<baseDef = unknown> = readonly [baseDef, "?"]
  type PossibleDefaultableStringDefinition (line 105) | type PossibleDefaultableStringDefinition = `${string}=${string}`
  type DefaultablePropertyTuple (line 107) | type DefaultablePropertyTuple<
  type invalidOptionalKeyKindMessage (line 115) | type invalidOptionalKeyKindMessage = typeof invalidOptionalKeyKindMessage
  type invalidDefaultableKeyKindMessage (line 120) | type invalidDefaultableKeyKindMessage =

FILE: ark/type/parser/reduce/dynamic.ts
  type BranchState (line 29) | type BranchState = {
  type RootedRuntimeState (line 37) | type RootedRuntimeState = requireKeys<RuntimeState, "root">
  class RuntimeState (line 39) | class RuntimeState {
    method constructor (line 54) | constructor(scanner: Scanner, ctx: BaseParseContext) {
    method error (line 59) | error(message: string): never {
    method hasRoot (line 63) | hasRoot(): this is RootedRuntimeState {
    method setRoot (line 67) | setRoot(root: BaseRoot): void {
    method unsetRoot (line 71) | unsetRoot(): this["root"] {
    method constrainRoot (line 77) | constrainRoot(...args: Parameters<BaseRoot<any>["constrain"]>): void {
    method finalize (line 81) | finalize(finalizer: FinalizingLookahead): void {
    method reduceLeftBound (line 88) | reduceLeftBound(limit: LimitLiteral, comparator: Comparator): void {
    method finalizeBranches (line 109) | finalizeBranches(): void {
    method finalizeGroup (line 133) | finalizeGroup(): void {
    method addPrefix (line 145) | addPrefix(prefix: StringifiablePrefixOperator): void {
    method applyPrefixes (line 149) | applyPrefixes(): void {
    method pushRootToBranch (line 159) | pushRootToBranch(token: BranchOperator): void {
    method parseUntilFinalizer (line 183) | parseUntilFinalizer(): RootedRuntimeState {
    method parseOperator (line 187) | parseOperator(this: RootedRuntimeState): void {
    method parseOperand (line 191) | parseOperand(): void {
    method assertRangeUnset (line 195) | private assertRangeUnset() {
    method reduceGroupOpen (line 206) | reduceGroupOpen(): void {
    method previousOperator (line 217) | previousOperator():
    method shiftedBy (line 232) | shiftedBy(count: number): this {

FILE: ark/type/parser/reduce/shared.ts
  type StringifiablePrefixOperator (line 3) | type StringifiablePrefixOperator = "keyof"
  type MinComparator (line 10) | type MinComparator = keyof typeof minComparators
  type MaxComparator (line 17) | type MaxComparator = keyof typeof maxComparators
  type Comparator (line 27) | type Comparator = keyof typeof comparators
  type InvertedComparators (line 37) | type InvertedComparators = {
  type BranchOperator (line 45) | type BranchOperator = "&" | "|" | "|>"
  type OpenLeftBound (line 47) | type OpenLeftBound = { limit: LimitLiteral; comparator: MinComparator }
  type writeOpenRangeMessage (line 58) | type writeOpenRangeMessage<
  type writeUnpairableComparatorMessage (line 63) | type writeUnpairableComparatorMessage<comparator extends Comparator> =
  type writeMultipleLeftBoundsMessage (line 89) | type writeMultipleLeftBoundsMessage<

FILE: ark/type/parser/reduce/static.ts
  type StaticState (line 23) | type StaticState = {
  type BranchState (line 32) | type BranchState = {
  type AutocompletePrefix (line 40) | type AutocompletePrefix = `${StringifiablePrefixOperator} `
  type initialize (line 43) | type initialize<def extends string> = from<{
  type error (line 52) | type error<message extends string> = from<{
  type completion (line 61) | type completion<text extends string> = from<{
  type initialBranches (line 70) | type initialBranches = branchesFrom<{
  type updateScanned (line 78) | type updateScanned<
  type setRoot (line 87) | type setRoot<
  type addPrefix (line 100) | type addPrefix<
  type reduceBranch (line 119) | type reduceBranch<
  type reduceLeftBound (line 143) | type reduceLeftBound<
  type reduceRange (line 178) | type reduceRange<
  type reduceSingleBound (line 200) | type reduceSingleBound<
  type mergeToIntersection (line 220) | type mergeToIntersection<s extends StaticState> =
  type mergeToUnion (line 224) | type mergeToUnion<s extends StaticState> =
  type mergeToPipe (line 228) | type mergeToPipe<s extends StaticState> =
  type mergePrefixes (line 232) | type mergePrefixes<
  type popGroup (line 240) | type popGroup<stack extends BranchState[], top extends BranchState> = [
  type finalizeGroup (line 245) | type finalizeGroup<s extends StaticState, unscanned extends string> =
  type reduceGroupOpen (line 259) | type reduceGroupOpen<
  type finalize (line 271) | type finalize<
  type openRangeError (line 288) | type openRangeError<range extends defined<BranchState["leftBound"]>> =
  type previousOperator (line 291) | type previousOperator<s extends StaticState> =
  type scanTo (line 302) | type scanTo<s extends StaticState, unscanned extends string> = from<{
  type from (line 311) | type from<s extends StaticState> = s
  type branchesFrom (line 313) | type branchesFrom<b extends BranchState> = b

FILE: ark/type/parser/shift/operand/date.ts
  type extractDateLiteralSource (line 16) | type extractDateLiteralSource<literal extends DateLiteral> =
  type writeInvalidDateMessage (line 24) | type writeInvalidDateMessage<source extends string> =
  type DateInput (line 27) | type DateInput = ConstructorParameters<typeof Date>[0]
  type DateParseResult (line 29) | type DateParseResult<

FILE: ark/type/parser/shift/operand/enclosed.ts
  type StringLiteral (line 15) | type StringLiteral<contents extends string = string> =
  type DoubleQuotedStringLiteral (line 19) | type DoubleQuotedStringLiteral<contents extends string = string> =
  type SingleQuotedStringLiteral (line 22) | type SingleQuotedStringLiteral<contents extends string = string> =
  type parseEnclosed (line 79) | type parseEnclosed<
  type _parseEnclosed (line 92) | type _parseEnclosed<
  type EnclosingQuote (line 138) | type EnclosingQuote = keyof typeof enclosingQuote
  type EnclosingLiteralTokens (line 153) | type EnclosingLiteralTokens = typeof enclosingLiteralTokens
  type EnclosingLiteralStartToken (line 154) | type EnclosingLiteralStartToken = keyof EnclosingLiteralTokens
  type EnclosingRegexTokens (line 161) | type EnclosingRegexTokens = typeof enclosingRegexTokens
  type EnclosingRegexToken (line 162) | type EnclosingRegexToken = keyof EnclosingRegexTokens
  type EnclosingTokens (line 169) | type EnclosingTokens = typeof enclosingTokens
  type EnclosingStartToken (line 171) | type EnclosingStartToken = keyof EnclosingTokens
  type EnclosingEndToken (line 173) | type EnclosingEndToken = EnclosingTokens[keyof EnclosingTokens]
  type enclosingCharDescriptions (line 190) | type enclosingCharDescriptions = typeof enclosingCharDescriptions
  type writeUnterminatedEnclosedMessage (line 203) | type writeUnterminatedEnclosedMessage<

FILE: ark/type/parser/shift/operand/genericArgs.ts
  type parseGenericArgs (line 23) | type parseGenericArgs<
  type ParsedArgs (line 56) | type ParsedArgs<
  type _parseGenericArgs (line 64) | type _parseGenericArgs<
  type writeInvalidGenericArgCountMessage (line 123) | type writeInvalidGenericArgCountMessage<

FILE: ark/type/parser/shift/operand/operand.ts
  type parseOperand (line 32) | type parseOperand<s extends StaticState, $, args> =

FILE: ark/type/parser/shift/operand/unenclosed.ts
  type parseUnenclosed (line 44) | type parseUnenclosed<s extends StaticState, $, args> =
  type parseResolution (line 53) | type parseResolution<
  type parseGenericInstantiation (line 81) | type parseGenericInstantiation<
  type tryResolve (line 149) | type tryResolve<
  type tryResolveSubmodule (line 198) | type tryResolveSubmodule<
  type unresolvableState (line 229) | type unresolvableState<
  type qualifiedReference (line 251) | type qualifiedReference<
  type validReferenceFromToken (line 256) | type validReferenceFromToken<
  type writeMissingRightOperandMessage (line 274) | type writeMissingRightOperandMessage<
  type writeExpressionExpectedMessage (line 296) | type writeExpressionExpectedMessage<unscanned extends string> =

FILE: ark/type/parser/shift/operator/bounds.ts
  type parseBound (line 48) | type parseBound<
  type OneCharComparator (line 73) | type OneCharComparator = ">" | "<"
  type ComparatorStartChar (line 75) | type ComparatorStartChar =
  type shiftComparator (line 92) | type shiftComparator<
  type parseRightBound (line 212) | type parseRightBound<
  type writeInvalidLimitMessage (line 258) | type writeInvalidLimitMessage<
  type BoundExpressionKind (line 266) | type BoundExpressionKind = "left" | "right"

FILE: ark/type/parser/shift/operator/brand.ts
  type parseBrand (line 13) | type parseBrand<s extends StaticState, unscanned extends string> =

FILE: ark/type/parser/shift/operator/default.ts
  type UnitLiteralKeyword (line 17) | type UnitLiteralKeyword = "null" | "undefined" | "true" | "false"
  type UnitLiteral (line 19) | type UnitLiteral = UnenclosedUnitLiteral | EnclosedUnitLiteral
  type UnenclosedUnitLiteral (line 21) | type UnenclosedUnitLiteral =
  type EnclosedUnitLiteral (line 26) | type EnclosedUnitLiteral = StringLiteral | DateLiteral
  type ParsedDefaultableProperty (line 28) | type ParsedDefaultableProperty = readonly [BaseRoot, "=", unknown]
  type parseDefault (line 48) | type parseDefault<root, unscanned extends string> =
  type isValidEnclosedLiteral (line 65) | type isValidEnclosedLiteral<
  type writeNonLiteralDefaultMessage (line 84) | type writeNonLiteralDefaultMessage<defaultDef extends string> =

FILE: ark/type/parser/shift/operator/divisor.ts
  type parseDivisor (line 17) | type parseDivisor<s extends StaticState, unscanned extends string> =
  type writeInvalidDivisorMessage (line 34) | type writeInvalidDivisorMessage<divisor extends string | number> =

FILE: ark/type/parser/shift/operator/operator.ts
  type parseOperator (line 42) | type parseOperator<s extends StaticState, $, args> =
  type writeUnexpectedCharacterMessage (line 76) | type writeUnexpectedCharacterMessage<
  type incompleteArrayTokenMessage (line 84) | type incompleteArrayTokenMessage = typeof incompleteArrayTokenMessage

FILE: ark/type/parser/shift/tokens.ts
  type TerminatingChar (line 20) | type TerminatingChar = keyof typeof terminatingChars
  type FinalizingLookahead (line 30) | type FinalizingLookahead = keyof typeof finalizingLookaheads
  type lookaheadIsFinalizing (line 51) | type lookaheadIsFinalizing<
  type InfixToken (line 72) | type InfixToken =
  type PostfixToken (line 84) | type PostfixToken = "[]" | "?"
  type OperatorToken (line 86) | type OperatorToken = InfixToken | PostfixToken

FILE: ark/type/parser/string.ts
  type parseString (line 46) | type parseString<def extends string, $, args> =
  type inferString (line 57) | type inferString<def extends string, $, args> = inferAstRoot<
  type BaseCompletions (line 63) | type BaseCompletions<$, args, otherSuggestions extends string = never> =
  type fullStringParse (line 90) | type fullStringParse<s extends StaticState, $, args> = extractFinalizedR...
  type parseUntilFinalizer (line 100) | type parseUntilFinalizer<s extends StaticState, $, args> =
  type next (line 108) | type next<s extends StaticState, $, args> =
  type extractFinalizedResult (line 112) | type extractFinalizedResult<s extends StaticState> =

FILE: ark/type/parser/tupleExpressions.ts
  type maybeValidateTupleExpression (line 51) | type maybeValidateTupleExpression<def extends array, $, args> =
  type inferTupleExpression (line 65) | type inferTupleExpression<def extends TupleExpression, $, args> =
  type validatePrefixExpression (line 90) | type validatePrefixExpression<def extends IndexZeroExpression, $, args> =
  type validateIndexOneExpression (line 98) | type validateIndexOneExpression<
  type UnparsedTupleExpressionInput (line 122) | type UnparsedTupleExpressionInput = {
  type UnparsedTupleOperator (line 127) | type UnparsedTupleOperator = show<keyof UnparsedTupleExpressionInput>
  type inferKeyOfExpression (line 132) | type inferKeyOfExpression<operandDef, $, args> = show<
  type TupleExpression (line 154) | type TupleExpression = IndexZeroExpression | IndexOneExpression
  type TupleExpressionOperator (line 156) | type TupleExpressionOperator = IndexZeroOperator | IndexOneOperator
  type ArgTwoOperator (line 158) | type ArgTwoOperator = Exclude<IndexOneOperator, "?" | "=">
  type parseTo (line 177) | type parseTo<inDef, outDef, $, args> = inferPipe<
  type parseMorph (line 182) | type parseMorph<inDef, morph, $, args> =
  type IndexOneExpression (line 207) | type IndexOneExpression<token extends string = IndexOneOperator> =
  type IndexOneParser (line 210) | type IndexOneParser<token extends string> = (
  type TuplePostfixOperator (line 224) | type TuplePostfixOperator = keyof typeof postfixParsers
  type TupleInfixOperator (line 238) | type TupleInfixOperator = keyof typeof infixParsers
  type IndexOneOperator (line 242) | type IndexOneOperator = keyof typeof indexOneParsers
  type InfixExpression (line 247) | type InfixExpression = readonly [unknown, InfixToken, ...unknown[]]
  type IndexZeroParser (line 249) | type IndexZeroParser<token extends string> = (
  type IndexZeroExpression (line 254) | type IndexZeroExpression<token extends string = IndexZeroOperator> = rea...
  type IndexZeroOperator (line 287) | type IndexZeroOperator = keyof typeof indexZeroParsers

FILE: ark/type/parser/tupleLiteral.ts
  type validateTupleLiteral (line 87) | type validateTupleLiteral<def extends array, $, args> =
  type inferTupleLiteral (line 92) | type inferTupleLiteral<def extends array, $, args> =
  type SequencePhase (line 192) | type SequencePhase = satisfy<
  type prefix (line 201) | type prefix = "prefix"
  type optionals (line 203) | type optionals = "optionals"
  type defaultables (line 205) | type defaultables = "defaultables"
  type postfix (line 207) | type postfix = "postfix"
  type SequenceParseState (line 210) | type SequenceParseState = {
  type parseSequence (line 217) | type parseSequence<def extends array, $, args> = parseNextElement<
  type PreparsedElementKind (line 228) | type PreparsedElementKind =
  type PreparsedElement (line 233) | type PreparsedElement = {
  type from (line 243) | type from<result extends PreparsedElement> = result
  type required (line 245) | type required = "required"
  type optionals (line 247) | type optionals = "optionals"
  type defaultables (line 249) | type defaultables = "defaultables"
  type preparseNextState (line 252) | type preparseNextState<s extends SequenceParseState, $, args> =
  type preparseNextElement (line 259) | type preparseNextElement<
  type parseNextElement (line 279) | type parseNextElement<s extends SequenceParseState, $, args> =
  type nextInferred (line 301) | type nextInferred<s extends SequenceParseState, next extends PreparsedEl...
  type nextValidated (line 308) | type nextValidated<
  type nextValidatedSpreadOperatorIfPresent (line 317) | type nextValidatedSpreadOperatorIfPresent<
  type nextValidatedElement (line 338) | type nextValidatedElement<
  type writeNonArraySpreadMessage (line 365) | type writeNonArraySpreadMessage<operand> =
  type multipleVariadicMessage (line 372) | type multipleVariadicMessage = typeof multipleVariadicMesage
  type requiredPostOptionalMessage (line 377) | type requiredPostOptionalMessage = typeof requiredPostOptionalMessage
  type optionalOrDefaultableAfterVariadicMessage (line 382) | type optionalOrDefaultableAfterVariadicMessage =
  type spreadOptionalMessage (line 387) | type spreadOptionalMessage = typeof spreadOptionalMessage
  type spreadDefaultableMessage (line 391) | type spreadDefaultableMessage = typeof spreadDefaultableMessage
  type defaultablePostOptionalMessage (line 396) | type defaultablePostOptionalMessage = typeof defaultablePostOptionalMessage

FILE: ark/type/scope.ts
  type ScopeParserAttachments (line 98) | type ScopeParserAttachments =
  type ArkScopeConfig (line 102) | interface ArkScopeConfig extends ArkSchemaScopeConfig {}
  type ScopeParser (line 104) | interface ScopeParser {
  type ModuleParser (line 113) | type ModuleParser = <const def>(
  type bindThis (line 120) | type bindThis<def> = { this: Def<def> }
  type Def (line 123) | type Def<def = {}> = Brand<def, "unparsed">
  type UnparsedScope (line 126) | type UnparsedScope = "$"
  type PreparsedResolution (line 129) | type PreparsedResolution = PreparsedNodeResolution
  type bootstrapAliases (line 131) | type bootstrapAliases<def> = {
  type inferBootstrapped (line 152) | type inferBootstrapped<$> = {
  type bindGenericToScope (line 160) | type bindGenericToScope<g extends GenericAst, $> = GenericAst<
  type extractGenericName (line 167) | type extractGenericName<k> =
  type extractGenericParameters (line 170) | type extractGenericParameters<k> =
  type resolutionToAst (line 175) | type resolutionToAst<alias extends string, resolution> =
  type moduleKeyOf (line 183) | type moduleKeyOf<$> = {
  type ArkTypeRegistry (line 191) | interface ArkTypeRegistry extends ArkSchemaRegistry {
  type InternalScope (line 198) | interface InternalScope {
    method ambientAttachments (line 203) | get ambientAttachments(): Ark.boundTypeAttachments<$> | undefined {
    method preparseOwnAliasEntry (line 214) | protected preparseOwnAliasEntry(alias: string, def: unknown): AliasDef...
    method parseGenericParams (line 255) | parseGenericParams(
    method normalizeRootScopeValue (line 270) | protected normalizeRootScopeValue(resolution: unknown): unknown {
    method preparseOwnDefinitionFormat (line 276) | protected preparseOwnDefinitionFormat(
    method parseOwnDefinitionFormat (line 287) | parseOwnDefinitionFormat(def: unknown, ctx: BaseParseContext): BaseRoot {
    method define (line 343) | define<def>(def: def): def {
  class InternalScope (line 202) | class InternalScope<$ extends {} = {}> extends BaseScope<$> {
    method ambientAttachments (line 203) | get ambientAttachments(): Ark.boundTypeAttachments<$> | undefined {
    method preparseOwnAliasEntry (line 214) | protected preparseOwnAliasEntry(alias: string, def: unknown): AliasDef...
    method parseGenericParams (line 255) | parseGenericParams(
    method normalizeRootScopeValue (line 270) | protected normalizeRootScopeValue(resolution: unknown): unknown {
    method preparseOwnDefinitionFormat (line 276) | protected preparseOwnDefinitionFormat(
    method parseOwnDefinitionFormat (line 287) | parseOwnDefinitionFormat(def: unknown, ctx: BaseParseContext): BaseRoot {
    method define (line 343) | define<def>(def: def): def {
  type validate (line 361) | type validate<def> = {
  type infer (line 387) | type infer<def> = inferBootstrapped<bootstrapAliases<def>>
  type Scope (line 390) | interface Scope<$ = {}> {
  type ScopeConstructor (line 455) | interface ScopeConstructor {
  type parseScopeKey (line 463) | type parseScopeKey<k, def> =
  type parseGenericScopeKey (line 472) | type parseGenericScopeKey<name extends string, params extends string, de...
  type InnerParseResult (line 477) | type InnerParseResult =

FILE: ark/type/type.ts
  type TypeParserAttachments (line 53) | type TypeParserAttachments =
  type TypeParser (line 57) | interface TypeParser<$ = {}> extends Ark.boundTypeAttachments<$> {
  class InternalTypeParser (line 213) | class InternalTypeParser extends Callable<
    method constructor (line 217) | constructor($: InternalScope) {
  type UnitTypeParser (line 283) | type UnitTypeParser<$> = <const t>(value: t) => Type<t, $>
  type InstanceOfTypeParser (line 285) | type InstanceOfTypeParser<$> = <const t extends object>(
  type EnumeratedTypeParser (line 289) | type EnumeratedTypeParser<$> = <const values extends readonly unknown[]>(
  type ValueOfTypeParser (line 293) | type ValueOfTypeParser<$> = <const o extends object>(
  type DefinitionParser (line 297) | type DefinitionParser<$> = <const def>(def: type.validate<def, $>) => def
  type SchemaParser (line 299) | type SchemaParser<$> = (
  type Type (line 304) | type Type<t = unknown, $ = {}> = instantiateType<t, $>
  type TypeConstructor (line 306) | type TypeConstructor<t = unknown, $ = {}> = new (

FILE: ark/type/variants/array.ts
  type Type (line 8) | interface Type<

FILE: ark/type/variants/base.ts
  type Inferred (line 39) | interface Inferred<out t = unknown, $ = {}> {
  type Type (line 454) | interface Type<out t = unknown, $ = {}>
  type ChainedPipeParser (line 676) | interface ChainedPipeParser<$, t> extends NaryPipeParser<$, t> {
  type validateChainedAsArgs (line 680) | type validateChainedAsArgs<t> =

FILE: ark/type/variants/date.ts
  type Type (line 8) | interface Type<out t extends globalThis.Date = globalThis.Date, $ = {}>

FILE: ark/type/variants/instantiate.ts
  type instantiateType (line 9) | type instantiateType<t, $> =

FILE: ark/type/variants/number.ts
  type Type (line 9) | interface Type<out t extends number = number, $ = {}> extends BaseType<t...

FILE: ark/type/variants/object.ts
  type Type (line 29) | interface Type<out t extends object = object, $ = {}> extends BaseType<t...
  type typePropOf (line 133) | type typePropOf<o, $> =
  type typeProp (line 140) | type typeProp<o, k extends keyof o, $, t = o[k] & ({} | null)> =
  type BaseTypeProp (line 150) | interface BaseTypeProp<
  type DefaultedTypeProp (line 164) | interface DefaultedTypeProp<
  type MappedTypeProp (line 173) | type MappedTypeProp<k extends Key = Key, v = unknown> =
  type BaseMappedTypeProp (line 177) | type BaseMappedTypeProp<k extends Key, v> = merge<
  type OptionalMappedTypeProp (line 185) | type OptionalMappedTypeProp<k extends Key, v> = merge<
  type constructMapped (line 194) | type constructMapped<t, transformed extends listable<MappedTypeProp>> = ...
  type fromTypeProps (line 200) | type fromTypeProps<t, props extends array<MappedTypeProp>> = show<
  type NonObjectMergeErrorMessage (line 222) | type NonObjectMergeErrorMessage = "Merged type must be an object"
  type applyHomomorphicOptionality (line 224) | type applyHomomorphicOptionality<t, prop extends MappedTypeProp> =

FILE: ark/type/variants/string.ts
  type Type (line 11) | interface Type<out t extends string = string, $ = {}> extends BaseType<t...

FILE: ark/util/__tests__/arrays.test.ts
  type PinkLady (line 4) | type PinkLady = { group: "apple"; kind: "Pink Lady" }
  type Gala (line 5) | type Gala = { group: "apple"; kind: "Gala" }
  type Bengal (line 6) | type Bengal = { group: "lychee"; kind: "Bengal" }
  type Valencia (line 7) | type Valencia = { group: "orange"; kind: "Valencia" }
  type Bartlett (line 8) | type Bartlett = { group: "pear"; kind: "Bartlett" }
  type Anjou (line 9) | type Anjou = { group: "pear"; kind: "Anjou" }
  type VisionPro (line 10) | type VisionPro = { group: "apple"; kind: "Vision Pro" }
  type Fruit (line 12) | type Fruit =
  type T (line 65) | type T = setIndex<[1, 2], 1, 1>
  type T (line 71) | type T = setIndex<readonly [1, 2], 1, 1>

FILE: ark/util/__tests__/callable.test.ts
  class Sub (line 5) | class Sub extends Callable<(name: string) => string> {
    method constructor (line 6) | constructor() {
    method doSomething (line 10) | doSomething() {
  class SecondSub (line 23) | class SecondSub extends Sub {
  class Foo (line 50) | class Foo<attach extends object> extends Callable<() => 0, attach> {
    method constructor (line 51) | constructor(attach: attach) {
    method b (line 55) | b() {
    method getAttached (line 59) | getAttached<k extends keyof attach>(k: k): attach[k] {
  class GetAttached (line 78) | class GetAttached<attach extends object> extends Callable<
    method constructor (line 82) | constructor(attach: attach) {
    method protoGetAttached (line 88) | protoGetAttached(k: PropertyKey) {
    method getAttached (line 92) | getAttached<k extends keyof attach>(k: k): attach[k] {

FILE: ark/util/__tests__/clone.test.ts
  method foo (line 76) | get foo() {

FILE: ark/util/__tests__/hkt.test.ts
  type AppendKind (line 5) | interface AppendKind<element = unknown>
  type result (line 11) | type result = Hkt.apply<AppendKind, [2, [0, 1]]>

FILE: ark/util/__tests__/intersections.test.ts
  type t (line 7) | type t = intersectParameters<[], []>
  type t (line 12) | type t = intersectParameters<[], [string, number, ...boolean[]]>
  type t (line 17) | type t = intersectParameters<["a"], [string, number]>
  type t (line 22) | type t = intersectParameters<[{ a: string }], [{ b: boolean }]>
  type t (line 28) | type t = intersectParameters<[unknown], []>
  type t (line 34) | type t = intersectParameters<[("a" | "b" | "c")?], [string, 1 | 2 | 3]>
  type t (line 39) | type t = intersectParameters<[{ a: 0 }?], [{ b: 1 }?]>
  type t (line 44) | type t = intersectParameters<[{ a: 0 }?], []>
  type t (line 49) | type t = intersectParameters<{ a: 0 }[], { b: 1 }[]>
  type t (line 54) | type t = intersectParameters<[{ a: 0 }, { b: 1 }], { c: 2 }[]>
  type t (line 74) | type t = intersectParameters<
  type t (line 97) | type t = intersectParameters<
  type t (line 121) | type t = intersectParameters<
  type t (line 149) | type t = intersectParameters<["a", "b"], [string, ...string[]]>
  type t (line 157) | type t = intersectArrays<[], [string]>
  type t (line 162) | type t = intersectArrays<["a", "b"], [string, ...string[]]>
  type t (line 167) | type t = intersectArrays<[...0[], number], [...number[], 1]>
  type l (line 172) | type l = [...{ a: 1 }[], { b: 1 }]
  type r (line 173) | type r = [...{ c: 1 }[]]
  type expected (line 175) | type expected = [
  type l (line 191) | type l = [
  type r (line 202) | type r = [
  type expected (line 220) | type expected = [

FILE: ark/util/__tests__/overloads.test.ts
  type fn (line 4) | type fn = {
  type limit (line 27) | type limit = ((s: string) => string) & ((n: number) => number)
  type fromNumber (line 28) | type fromNumber = ReturnType<overloadOf<limit, [number]>>
  type result (line 36) | type result = Parameters<

FILE: ark/util/__tests__/printable.test.ts
  class Type (line 118) | class Type {
  class MyClass (line 125) | class MyClass {}

FILE: ark/util/__tests__/records.test.ts
  type Source (line 13) | interface Source {
  type Target (line 18) | interface Target {
  type Result (line 22) | type Result = withJsDoc<Target, Source>
  type Source (line 34) | interface Source {
  type Target (line 40) | interface Target {
  type Result (line 44) | type Result = withJsDoc<Target, Source>
  type Source (line 56) | interface Source {
  type Target (line 61) | interface Target {
  type Result (line 66) | type Result = withJsDoc<Target, Source>
  type Source (line 78) | interface Source {
  type Target (line 83) | interface Target {
  type Result (line 87) | type Result = withJsDoc<Target, Source>
  type t (line 99) | type t = merge<
  type t (line 115) | type t = unionToPropwiseXor<{ a: 1; b?: 2 } | { c: 3 } | { d?: 4 }>

FILE: ark/util/__tests__/traits.scratch.ts
  class Rectangle (line 4) | class Rectangle extends Trait {
    method constructor (line 8) | constructor(length: number, width: number) {
    method area (line 14) | area(): number {
    method perimeter (line 18) | perimeter(): number {
  class Rhombus (line 24) | class Rhombus extends Trait<{
    method constructor (line 34) | constructor(side: number) {
    method perimeter (line 39) | perimeter(): number {
  class Square (line 45) | class Square extends implement(
    method calculateArea (line 51) | calculateArea() {
    method constructor (line 59) | constructor(side: number) {

FILE: ark/util/__tests__/traits.test.ts
  class Describable (line 5) | class Describable extends Trait<{
    method constructor (line 12) | constructor(rule: unknown, attributes?: { description?: string }) {
  class Boundable (line 18) | class Boundable<data> extends Trait<{
    method constructor (line 23) | constructor(rule: { limit?: number }) {
    method check (line 28) | check(data: data): boolean {
  class StringChecker (line 35) | class StringChecker extends implement(Describable, Boundable<string>, {
  type Params (line 45) | type Params = ConstructorParameters<typeof StringChecker>
  class Foo (line 75) | class Foo extends Boundable<number> {
    method getFoo (line 76) | getFoo() {
  class Bar (line 80) | class Bar extends implement(Foo, {
  class A (line 90) | class A extends Trait {
  class B (line 95) | class B extends Trait<{
  class C (line 105) | class C extends compose(A, B) {
  class A (line 121) | class A extends Trait {
  class B (line 124) | class B extends Trait {
  class C (line 127) | class C extends compose(A, B) {
  class D (line 130) | class D extends Trait {
  class E (line 133) | class E extends compose(C, D) {
  class A (line 146) | class A extends Trait<{ abstractMethods: { a(): number } }> {}
  class B (line 147) | class B extends Trait<{ abstractMethods: { b(): number } }> {}

FILE: ark/util/arrays.ts
  type DuplicateData (line 6) | type DuplicateData<val = unknown> = { element: val; indices: number[] }
  type pathToString (line 59) | type pathToString<
  type join (line 69) | type join<
  type filter (line 104) | type filter<t extends array, constraint, result extends unknown[] = []> =
  type array (line 113) | type array<t = unknown> = readonly t[]
  type multiply (line 116) | type multiply<t extends array, count extends number> = _multiply<
  type _multiply (line 123) | type _multiply<
  type repeat (line 132) | type repeat<element, count extends number> = buildFromSegments<
  type buildFromSegments (line 139) | type buildFromSegments<
  type nextSegments (line 154) | type nextSegments<segments extends 1[][]> =
  type minLength (line 159) | type minLength<element, minLength extends number> = readonly [
  type listable (line 165) | type listable<t> = t | readonly t[]
  type flattenListable (line 167) | type flattenListable<t> = t extends array<infer element> ? element : t
  type longerThan (line 169) | type longerThan<t extends array, n extends number> =
  type CollapsingList (line 172) | type CollapsingList<t = unknown> =
  type headOf (line 177) | type headOf<t extends array> = t[0]
  type tailOf (line 179) | type tailOf<t extends array> =
  type lastIndexOf (line 182) | type lastIndexOf<t extends array> = tailOf<t>["length"]
  type lastOf (line 184) | type lastOf<t extends array> = t[lastIndexOf<t>]
  type initOf (line 186) | type initOf<t extends array> =
  type numericStringKeyOf (line 189) | type numericStringKeyOf<t extends array> = Extract<keyof t, `${number}`>
  type arrayIndexOf (line 191) | type arrayIndexOf<a extends array> =
  type liftArray (line 194) | type liftArray<t> =
  type AppendOptions (line 249) | type AppendOptions = {
  type appendableValue (line 284) | type appendableValue<to extends array | undefined> =
  type ComparisonOptions (line 314) | interface ComparisonOptions<t = unknown> {
  type groupableKeyOf (line 336) | type groupableKeyOf<o> =
  type groupBy (line 345) | type groupBy<element, discriminant extends groupableKeyOf<element>> = {
  type validateExhaustiveKeys (line 375) | type validateExhaustiveKeys<
  type applyElementLabels (line 387) | type applyElementLabels<
  type applyOptionalElementLabels (line 400) | type applyOptionalElementLabels<
  type applyRestElementLabels (line 413) | type applyRestElementLabels<
  type labelElement (line 422) | type labelElement<element, labels extends readonly unknown[]> =
  type labelOptionalElement (line 428) | type labelOptionalElement<element, label extends readonly unknown[]> =
  type setIndex (line 434) | type setIndex<
  type _setIndex (line 443) | type _setIndex<
  type zero (line 453) | type zero = []
  type one (line 455) | type one = [1]
  type two (line 457) | type two = [1, 1]
  type three (line 459) | type three = [...two, ...two]
  type four (line 461) | type four = [...three, ...three]
  type five (line 463) | type five = [...four, ...four]
  type six (line 465) | type six = [...five, ...five]
  type seven (line 467) | type seven = [...six, ...six]
  type eight (line 469) | type eight = [...seven, ...seven]
  type nine (line 471) | type nine = [...eight, ...eight]
  type ten (line 473) | type ten = [...nine, ...nine]
  type eleven (line 475) | type eleven = [...ten, ...ten]
  type twelve (line 477) | type twelve = [...eleven, ...eleven]
  type thirteen (line 479) | type thirteen = [...twelve, ...twelve]
  type fourteen (line 481) | type fourteen = [...thirteen, ...thirteen]
  type exponentials (line 486) | type exponentials = [
  type max (line 505) | type max<n extends number> = _max<n, exponentials>
  type _max (line 507) | type _max<n extends number, filtered extends unknown[]> =

FILE: ark/util/describe.ts
  type DescribeOptions (line 7) | type DescribeOptions = {
  type typeToString (line 12) | type typeToString<t, opts extends DescribeOptions = {}> = stringifyUnion<
  type stringifiableToString (line 29) | type stringifiableToString<
  type describe (line 38) | type describe<t> = typeToString<
  type arrayTypeToString (line 46) | type arrayTypeToString<t extends array, opts extends DescribeOptions> =
  type describeArrayOf (line 53) | type describeArrayOf<element extends string> =
  type includesDelimiter (line 56) | type includesDelimiter<s extends string, opts extends DescribeOptions> =
  type describeDefaults (line 63) | type describeDefaults = satisfy<

FILE: ark/util/domain.ts
  type JsTypeOf (line 5) | type JsTypeOf =
  type TypesByDomain (line 21) | type TypesByDomain = {
  type inferDomain (line 32) | type inferDomain<kind extends Domain> =
  type Domain (line 35) | type Domain = show<keyof TypesByDomain>
  type NullishDomain (line 37) | type NullishDomain = "undefined" | "null"
  type NonNullishDomain (line 39) | type NonNullishDomain = Exclude<Domain, NullishDomain>
  type PrimitiveDomain (line 41) | type PrimitiveDomain = Exclude<Domain, "object">
  type Primitive (line 43) | type Primitive = inferDomain<PrimitiveDomain>
  type domainOf (line 45) | type domainOf<data> =
  type domainDescriptions (line 85) | type domainDescriptions = typeof domainDescriptions
  type describeDomainOf (line 87) | type describeDomainOf<

FILE: ark/util/errors.ts
  class InternalArktypeError (line 4) | class InternalArktypeError extends Error {}
  class ParseError (line 16) | class ParseError extends Error {
  type noSuggest (line 33) | type noSuggest<s extends string = string> = ` ${s}`
  type ZeroWidthSpace (line 39) | type ZeroWidthSpace = typeof ZeroWidthSpace
  type ErrorMessage (line 41) | type ErrorMessage<message extends string = string> =
  type ErrorType (line 44) | interface ErrorType<ctx extends {} = {}> extends CastableBase<ctx> {
  type Completion (line 48) | type Completion<text extends string = string> =

FILE: ark/util/flatMorph.ts
  type objectFromListableEntries (line 7) | type objectFromListableEntries<transformed extends readonly GroupableEnt...
  type fromGroupableEntries (line 10) | type fromGroupableEntries<entries extends readonly GroupableEntry[]> = {
  type arrayFromListableEntries (line 16) | type arrayFromListableEntries<transformed extends Entry> =
  type _arrayFromListableEntries (line 20) | type _arrayFromListableEntries<
  type extractEntrySets (line 35) | type extractEntrySets<e extends listable<GroupableEntry>> =
  type extractEntries (line 38) | type extractEntries<e extends listable<Entry>> =
  type entryArgsWithIndex (line 41) | type entryArgsWithIndex<o> = {
  type numericArrayEntry (line 45) | type numericArrayEntry<a extends array> =
  type GroupedEntry (line 51) | type GroupedEntry = readonly [key: { group: Key }, value: unknown]
  type GroupableEntry (line 53) | type GroupableEntry = Entry<Key> | Entry<number> | GroupedEntry
  type ListableEntry (line 55) | type ListableEntry = listable<GroupableEntry>
  type fromMappedEntries (line 57) | type fromMappedEntries<transformed extends ListableEntry> =
  type FlatMorph (line 62) | type FlatMorph = {

FILE: ark/util/functions.ts
  type Fn (line 4) | type Fn<
  type Thunk (line 19) | type Thunk<ret = unknown> = () => ret
  type thunkable (line 21) | type thunkable<t> = t | Thunk<t>
  method constructor (line 35) | constructor(...args: [string, ...string[]]) {
  type DynamicFunction (line 52) | type DynamicFunction = new <fn extends Fn>(
  type CallableOptions (line 60) | type CallableOptions<attachments extends object> = {
  type Callable (line 66) | interface Callable<fn extends Fn, attachments extends object>
    method constructor (line 71) | constructor(
  class Callable (line 70) | class Callable<fn extends Fn, attachments extends object = {}> {
    method constructor (line 71) | constructor(
  type GuardablePredicate (line 86) | type GuardablePredicate<
  type TypeGuard (line 91) | type TypeGuard<input = unknown, narrowed extends input = input> = (

FILE: ark/util/generics.ts
  type Stringifiable (line 5) | type Stringifiable =
  type show (line 14) | type show<t> = { [k in keyof t]: t[k] } & unknown
  type evaluate (line 17) | type evaluate<t> = { [k in keyof t]: t[k] } & unknown
  type get (line 19) | type get<t, k extends PropertyKey> = t[k & keyof t]
  type exact (line 21) | type exact<t extends object, u extends object> = {
  type exactMessageOnError (line 25) | type exactMessageOnError<t extends object, u extends object> = {
  type promisable (line 30) | type promisable<t> = t | Promise<t>
  type leftIfEqual (line 32) | type leftIfEqual<l, r> = [l, r] extends [r, l] ? l : r
  type UnknownUnion (line 34) | type UnknownUnion =
  type andPreserveUnknown (line 47) | type andPreserveUnknown<l, r> =
  type anyOrNever (line 59) | type anyOrNever = " anyOrNever"
  type conform (line 61) | type conform<t, base> = t extends base ? t : base
  type equals (line 63) | type equals<l, r> = [l, r] extends [r, l] ? true : false
  type exactEquals (line 65) | type exactEquals<l, r> =
  type Brand (line 71) | type Brand<t = unknown, id = unknown> = t & {
  type unbrand (line 75) | type unbrand<t> = t extends Brand<infer base, string> ? base : never
  type satisfy (line 77) | type satisfy<base, t extends base> = t
  type defined (line 79) | type defined<t> = t & ({} | null)
  type autocomplete (line 81) | type autocomplete<suggestions extends string> =
  type widen (line 85) | type widen<t, supertypes> = collectWidenedType<
  type collectWidenedType (line 90) | type collectWidenedType<t, remaining extends unknown[], result = never> =
  type narrowTuple (line 95) | type narrowTuple<t extends readonly unknown[]> =
  type narrow (line 100) | type narrow<t> =
  type inferred (line 111) | type inferred = typeof inferred

FILE: ark/util/get.ts
  type getKey (line 4) | type getKey<o, k> =
  type getPath (line 9) | type getPath<o, path extends string> =
  type validatePath (line 13) | type validatePath<o, path extends string, prefix extends string = ""> =

FILE: ark/util/hkt.ts
  type args (line 4) | type args = typeof args
  method constructor (line 18) | constructor() {}
  type constructor (line 25) | type constructor<constraints extends unknown[] = any> =
  type args (line 28) | type args = typeof args
  type apply (line 30) | type apply<

FILE: ark/util/intersections.ts
  type AndPreserveUnknown (line 7) | interface AndPreserveUnknown extends Hkt<[unknown, unknown]> {
  type SequenceIntersectionKind (line 11) | type SequenceIntersectionKind = "array" | "parameters"
  type intersectArrays (line 13) | type intersectArrays<
  type intersectParameters (line 19) | type intersectParameters<
  type intersectSequences (line 25) | type intersectSequences<
  type isDisjoint (line 99) | type isDisjoint<l, r> = overlaps<l, r> extends true ? false : true
  type overlaps (line 101) | type overlaps<l, r> =

FILE: ark/util/isomorphic.ts
  type ArkKnownEnvVar (line 19) | type ArkKnownEnvVar = "ARK_DEBUG"

FILE: ark/util/keys.ts
  type Key (line 4) | type Key = string | symbol
  type toArkKey (line 6) | type toArkKey<o, k extends keyof o> =
  type arkIndexableOf (line 13) | type arkIndexableOf<o> =
  type arkKeyOf (line 20) | type arkKeyOf<o> =
  type arkArrayKeyOf (line 27) | type arkArrayKeyOf<a extends array> =
  type arkObjectLiteralKeyOf (line 35) | type arkObjectLiteralKeyOf<o extends object> =
  type arkGet (line 42) | type arkGet<o, k extends arkIndexableOf<o>> = o[k extends keyof o ? k
  type writeInvalidKeysMessage (line 47) | type writeInvalidKeysMessage<

FILE: ark/util/numbers.ts
  type Digit (line 4) | type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
  type NumberLiteral (line 6) | type NumberLiteral<n extends number = number> = `${n}`
  type BigintLiteral (line 8) | type BigintLiteral<n extends bigint = bigint> = `${n}n`
  type IntegerLiteral (line 10) | type IntegerLiteral<n extends bigint = bigint> = `${n}`
  type NonNegativeIntegerLiteral (line 12) | type NonNegativeIntegerLiteral<n extends bigint = bigint> =
  type CreateNumberMatcherOptions (line 30) | type CreateNumberMatcherOptions = {
  type NumericLiteralKind (line 101) | type NumericLiteralKind = "number" | "bigint" | "integer"
  type numericLiteralDescriptions (line 109) | type numericLiteralDescriptions = typeof numericLiteralDescriptions
  type writeMalformedNumericLiteralMessage (line 111) | type writeMalformedNumericLiteralMessage<
  type ValidationKind (line 125) | type ValidationKind = "number" | "integer"
  type tryParseNumber (line 147) | type tryParseNumber<token extends string, messageOnFail extends string> =
  type parseNumber (line 154) | type parseNumber<token extends string> =
  type tryParseInteger (line 166) | type tryParseInteger<
  type parseInteger (line 176) | type parseInteger<token extends string> =
  type parseNonNegativeInteger (line 183) | type parseNonNegativeInteger<token extends string> =
  type NumericParseOptions (line 186) | type NumericParseOptions<errorOnFail extends boolean | string> = {

FILE: ark/util/objectKinds.ts
  type ecmascriptConstructors (line 25) | type ecmascriptConstructors = typeof ecmascriptConstructors
  type EcmascriptObjects (line 28) | type EcmascriptObjects = satisfy<
  type platformConstructors (line 51) | type platformConstructors = {
  type PlatformObjects (line 76) | type PlatformObjects = instantiateConstructors<
  type typedArrayConstructors (line 94) | type typedArrayConstructors = typeof typedArrayConstructors
  type TypedArrayObjects (line 96) | type TypedArrayObjects = instantiateConstructors<
  type builtinConstructors (line 111) | type builtinConstructors = typeof builtinConstructors
  type BuiltinObjectKind (line 113) | type BuiltinObjectKind = keyof builtinConstructors
  type GlobalName (line 115) | type GlobalName = keyof typeof globalThis
  type instantiateConstructors (line 117) | type instantiateConstructors<kind extends BuiltinObjectKind> = {
  type BuiltinObjects (line 128) | type BuiltinObjects = instantiateConstructors<BuiltinObjectKind>
  type objectKindOf (line 130) | type objectKindOf<data extends object> =
  type describeObject (line 136) | type describeObject<
  type instantiableObjectKind (line 147) | type instantiableObjectKind<data extends object> = {
  type objectKindOrDomainOf (line 179) | type objectKindOrDomainOf<data> =
  type objectKindDescriptions (line 243) | type objectKindDescriptions = typeof objectKindDescriptions
  type Constructor (line 262) | type Constructor<instance = {}> = abstract new (
  type instanceOf (line 266) | type instanceOf<constructor> =
  type normalizedKeyOf (line 282) | type normalizedKeyOf<t> =

FILE: ark/util/path.ts
  type StringifyPathOptions (line 7) | type StringifyPathOptions<stringifiable = PropertyKey> = requireKeys<
  type StringifyPathFn (line 15) | type StringifyPathFn = <stringifiable>(
  type AppendStringifiedKeyFn (line 22) | type AppendStringifiedKeyFn = <stringifiable>(
  class ReadonlyPath (line 70) | class ReadonlyPath extends ReadonlyArray<PropertyKey> {
    method constructor (line 78) | constructor(...items: array<PropertyKey>) {
    method toJSON (line 84) | toJSON(): JsonArray {
    method stringify (line 96) | stringify(): string {
    method stringifyAncestors (line 101) | stringifyAncestors(): readonly string[] {

FILE: ark/util/primitive.ts
  type SerializedString (line 4) | type SerializedString<value extends string = string> = `"${value}"`
  type SerializedPrimitives (line 6) | type SerializedPrimitives = {
  type SerializedPrimitive (line 15) | type SerializedPrimitive =
  type SerializablePrimitive (line 18) | type SerializablePrimitive = inferDomain<keyof SerializedPrimitives>
  type serializePrimitive (line 27) | type serializePrimitive<value extends SerializablePrimitive> =

FILE: ark/util/records.ts
  type Dict (line 10) | type Dict<k extends string = string, v = unknown> = {
  type dict (line 14) | type dict<v = unknown, k extends string = string> = {
  type propwiseXor (line 23) | type propwiseXor<a, b> =
  type unionToPropwiseXor (line 27) | type unionToPropwiseXor<
  type requireKeys (line 40) | type requireKeys<o, key extends keyof o> = o & {
  type require (line 44) | type require<o, maxDepth extends number = 1> = _require<o, [], maxDepth>
  type _require (line 46) | type _require<o, depth extends 1[], maxDepth extends number> =
  type PartialRecord (line 56) | type PartialRecord<k extends PropertyKey = PropertyKey, v = unknown> = {
  type isSafelyMappable (line 63) | type isSafelyMappable<t> =
  type KeySet (line 66) | type KeySet<key extends string = string> = { readonly [_ in key]?: 1 }
  type keySetOf (line 68) | type keySetOf<o extends object> = KeySet<Extract<keyof o, string>>
  type mutable (line 70) | type mutable<o, maxDepth extends number = 1> = _mutable<o, [], maxDepth>
  type _mutable (line 72) | type _mutable<o, depth extends 1[], maxDepth extends number> =
  type entryOf (line 84) | type entryOf<o> = {
  type entriesOf (line 89) | type entriesOf<o extends object> = entryOf<o>[]
  type Entry (line 98) | type Entry<
  type fromEntries (line 103) | type fromEntries<entries extends readonly Entry[]> = show<{
  type keyOf (line 112) | type keyOf<o> =
  type unionKeyOf (line 132) | type unionKeyOf<t> = t extends unknown ? keyof t : never
  type extractKeyed (line 134) | type extractKeyed<o extends object, k extends unionKeyOf<o>> = Extract<
  type extractDefinedKey (line 144) | type extractDefinedKey<o extends object, k extends unionKeyOf<o>> = show<
  type requiredKeyOf (line 155) | type requiredKeyOf<o> =
  type optionalKeyOf (line 164) | type optionalKeyOf<o> = Exclude<keyof o, requiredKeyOf<o>>
  type merge (line 166) | type merge<base, props> =
  type override (line 175) | type override<
  type propValueOf (line 180) | type propValueOf<o> = o[keyof o]
  class Covariant (line 184) | class Covariant<t> {
  type DynamicBase (line 198) | interface DynamicBase<t extends object> extends t, Covariant<t> {}
    method constructor (line 200) | constructor(properties: t) {
  class DynamicBase (line 199) | class DynamicBase<t extends object> {
    method constructor (line 200) | constructor(properties: t) {
  class CastableBase (line 208) | class CastableBase<t extends object> extends NoopBase<t> {
  type pick (line 241) | type pick<o, key extends keyof o> =
  type omit (line 268) | type omit<o, key extends keyof o> = {
  type ifEmptyObjectLiteral (line 278) | type ifEmptyObjectLiteral<t, onTrue = true, onFalse = false> =
  type EmptyObject (line 283) | type EmptyObject = Record<PropertyKey, never>
  type invert (line 314) | type invert<t extends Record<PropertyKey, PropertyKey>> = {
  type unset (line 326) | type unset = typeof unset
  type withJsDoc (line 332) | type withJsDoc<o, jsDocSource> = show<
  type _withJsDoc (line 342) | type _withJsDoc<o, jsDocSource> = {
  type propertyDescriptorsOf (line 346) | type propertyDescriptorsOf<o extends object> = {
  type keyWithValue (line 350) | type keyWithValue<t, constraint> =

FILE: ark/util/registry.ts
  type InitialRegistryContents (line 19) | type InitialRegistryContents = typeof initialRegistryContents
  type ArkRegistry (line 21) | interface ArkRegistry extends InitialRegistryContents {
  type ArkEnv (line 28) | interface ArkEnv {
  type prototypes (line 33) | type prototypes = ReturnType<ArkEnv["prototypes"]>

FILE: ark/util/scanner.ts
  class Scanner (line 4) | class Scanner<lookahead extends string = string> {
    method constructor (line 9) | constructor(def: string) {
    method shift (line 16) | shift(): this["lookahead"] {
    method lookahead (line 20) | get lookahead(): lookahead {
    method nextLookahead (line 24) | get nextLookahead(): string {
    method length (line 28) | get length(): number {
    method shiftUntil (line 32) | shiftUntil(condition: Scanner.UntilCondition): string {
    method shiftUntilEscapable (line 41) | shiftUntilEscapable(condition: Scanner.UntilCondition): string {
    method shiftUntilLookahead (line 55) | shiftUntilLookahead(charOrSet: string | KeySet): string {
    method shiftUntilNonWhitespace (line 61) | shiftUntilNonWhitespace(): string {
    method jumpToIndex (line 65) | jumpToIndex(i: number): void {
    method jumpForward (line 69) | jumpForward(count: number): void {
    method location (line 73) | get location(): number {
    method unscanned (line 77) | get unscanned(): string {
    method scanned (line 81) | get scanned(): string {
    method sliceChars (line 85) | sliceChars(start: number, end?: number): string {
    method lookaheadIs (line 89) | lookaheadIs<char extends lookahead>(char: char): this is Scanner<char> {
    method lookaheadIsIn (line 93) | lookaheadIsIn<keySet extends KeySet>(
  type UntilCondition (line 101) | type UntilCondition = (scanner: Scanner, shifted: string) => boolean
  type shift (line 103) | type shift<
  type shiftUntil (line 108) | type shiftUntil<
  type shiftUntilEscapable (line 119) | type shiftUntilEscapable<
  type shiftUntilNot (line 148) | type shiftUntilNot<
  type skipWhitespace (line 159) | type skipWhitespace<unscanned extends string> = shiftUntilNot<
  type shiftResult (line 164) | type shiftResult<scanned extends string, unscanned extends string> = [
  type writeUnmatchedGroupCloseMessage (line 179) | type writeUnmatchedGroupCloseMessage<
  type writeUnclosedGroupMessage (line 188) | type writeUnclosedGroupMessage<missingChar extends string> =

FILE: ark/util/serialize.ts
  type SerializationOptions (line 7) | type SerializationOptions = {
  type JsonStructure (line 15) | type JsonStructure = JsonObject | JsonArray
  type JsonObject (line 17) | interface JsonObject {
  type JsonArray (line 21) | type JsonArray = Json[]
  type JsonPrimitive (line 23) | type JsonPrimitive = string | boolean | number | null
  type Json (line 25) | type Json = JsonStructure | JsonPrimitive
  type snapshot (line 41) | type snapshot<t, depth extends 1[] = []> =
  type snapshotPrimitive (line 53) | type snapshotPrimitive<t> = t extends symbol ? `Symbol(${string})` : t
  type PrintableOptions (line 55) | type PrintableOptions = {

FILE: ark/util/strings.ts
  type firstChar (line 9) | type firstChar<s extends string> =
  type charsAfterFirst (line 12) | type charsAfterFirst<s extends string> =
  type lastChar (line 15) | type lastChar<s extends string> =
  type charsBeforeLast (line 22) | type charsBeforeLast<s extends string> =
  type contains (line 29) | type contains<s extends string, sub extends string> =
  type Backslash (line 68) | type Backslash = typeof Backslash
  type WhitespaceChar (line 76) | type WhitespaceChar = keyof typeof whitespaceChars
  type trim (line 78) | type trim<s extends string> = trimEnd<trimStart<s>>
  type trimStart (line 80) | type trimStart<s extends string> =
  type trimEnd (line 83) | type trimEnd<s extends string> =
  type isStringLiteral (line 87) | type isStringLiteral<t> =

FILE: ark/util/traits.ts
  type TraitImplementation (line 9) | type TraitImplementation = <
  type TraitComposition (line 28) | type TraitComposition = <
  type TraitDeclaration (line 61) | type TraitDeclaration = {
  method [Symbol.hasInstance] (line 81) | static get [Symbol.hasInstance](): (o: unknown) => boolean {
  method traitsOf (line 85) | traitsOf(): readonly TraitConstructor[] {
  type TraitConstructor (line 147) | type TraitConstructor<
  type CompositionState (line 162) | type CompositionState = {
  type TraitCompositionKind (line 174) | type TraitCompositionKind = "abstract" | "implementation"
  type composeTraits (line 176) | type composeTraits<
  type intersectImplementations (line 191) | type intersectImplementations<l, r> = {
  type _compose (line 202) | type _compose<s extends CompositionState> =
  type finalizeState (line 241) | type finalizeState<s extends CompositionState> = satisfy<
  type implementationOf (line 256) | type implementationOf<s extends CompositionState> =

FILE: ark/util/unionToTuple.ts
  type stringifyUnion (line 5) | type stringifyUnion<
  type unionToTuple (line 10) | type unionToTuple<t> =
  type _unionToTuple (line 13) | type _unionToTuple<t, result extends unknown[]> =
  type getLastBranch (line 20) | type getLastBranch<t> =
  type intersectUnion (line 27) | type intersectUnion<t> =
  type intersectOverloadReturns (line 34) | type intersectOverloadReturns<fn extends Fn> = intersectUnion<
  type overloadOf (line 39) | type overloadOf<
  type collectSignatures (line 56) | type collectSignatures<fn, givenArgs extends array, result> =