Find references to `field_name` across files that import `origin_path`. Scans all analyzed files that import `origin_path` for Select expressions lik

Scan static bindings for a field matching `field_name` and return its source location as an `AstPtr`.

Slow path for pinning: check if the same primitive *value* appears as both a direct lower and upper bound across *different* TyIds. Different TyIds ma

Find all reference locations for the name under the cursor.

Convert this `MergingSet` into a single `ExprId` representing an attrset. Used for implicit nested attrsets created by multi-segment attribute paths.

Flatten a nested composite type (union or intersection) and deduplicate members. `extract_nested` returns the inner members if the OutputTy is the mat

Choose a function reference string based on the access pattern. For `Bare`, returns the bare name. For `LambdaParam`/`PkgsLib`, picks nested "lib.stri

Format a Nix document by piping it through `nixfmt`. Returns None if nixfmt is not available or the file is already formatted.

Format a single val declaration with optional doc comment. Only emits entries that have a translatable signature. Functions without signature

Inspect the formatted exported `file_sig_ty` for a source. Mirrors what `extract_file_signature` does for cross-file callers, falling back to the per-

First pass: walk all tokens in the file, and figure out which doc comments should be attached to which node.

Generate stubs from `[stubs.generate]` config, using the Nix store as cache. Returns the stubs directory and source roots, or an error if generation

Like [`generate_stubs`], but with additional control: - `tix_path_override`: use this path instead of auto-detecting the tix store path (useful for de

Find the module config type (e.g. NixosConfig) from the root lambda's pattern fields, based on the first attrpath segment. First checks explicitly de

Import a type and its reachable subtree from a source arena into a target arena. Used when canonicalizing Frozen types from imported file arenas.

Infer `a && b` or `a || b` with short-circuit narrowing. `is_and = true` → `&&`: RHS gets then-branch narrowing (runs when LHS is true). `is_and = fa

Infer a file from a pre-extracted SyntaxBundle and cache its signature. Shared by both the single-pass path and fixpoint iteration.

Infer SCC groups 0..=`stop_after_group` only. Skips `infer_root` and expr-level canonicalization. Used by the coordinator to get binding types for `ty

Install narrowing overrides for a slice of NarrowBindings. Returns the saved state for restoration via `restore_narrow_overrides`. SAFETY INVARIANT:

Check if a TyId is or transitively contains a type variable (through Inter nesting). Used to find the variable side for MLstruct-style variable isolat

Intern a RawTy tree into a TypeArena, returning the root TyRef.

Invoke `nix eval --json` for Home Manager and parse the result.

Invoke `nix eval --json` for NixOS and parse the result.

Check if `fun_expr` is a reference to a specific builtin function. Handles three cases: 1. Direct builtin reference: `isNull x` 2. Qualified access: `

Check if sub could be a subtype of target based on constructor shape. Read-only — no side effects. Used by `constrain_rhs_union` to decide which union

Check if a file path is already covered by an existing exclude pattern.

Check if a TyId (possibly a composed Inter from narrowing) is provably disjoint from a super-type. For `Inter(A, B)`, if EITHER member is disjoint fro

Detect "freeform value" unions produced by NixOS format types (pkgs.formats.json/yaml/toml). These are oneOf unions that list every possible Nix value

Is this a list type?

Check whether `sub` is a subtype of (or structurally equal to) `sup` in the OutputTy representation. This is a conservative approximation — it returns

Returns `(line, column)`, both 1-indexed. Column counts UTF-8 characters from the start of the line.

Recursively load declarations. `val_target` controls where val declarations are routed: `GlobalVals` adds them to the registry's `global_vals` map; `C

Load field-level doc comments from a parsed .tix file into the doc index.

Load field-level `@source` annotations from a parsed .tix file.

Load a single stub entry. `@`-prefixed entries resolve to built-in context stubs (returned as `Arc` for cheap sharing); all others are treated as file

Load .tix files from a path. If the path is a file, load it directly. If it's a directory, recursively find all .tix files and load them.

Build context args for patterns that need them.

If `TIX_BUILTIN_STUBS` is not set and `[stubs.generate]` is configured, attempt runtime stub generation and set the registry's builtin stubs dir.

Map a NameKind to a semantic token type index.

Look up a narrowing predicate by builtin leaf name and return the corresponding NarrowInfo for the given variable.

Convert a narrowing-specific primitive to the type system's PrimitiveTy. NarrowPrimitive is defined in lang_ast (which can't depend on lang_ty), so t

Intersection members need parens if they are lambdas or unions.

Lambda params need parens if they are themselves lambdas, unions, or intersections.

Negation operands need parens if they are unions, intersections, or lambdas.

Union members need parens if they are lambdas.

Check whether a field name is a valid bare identifier in .tix syntax. If not, it needs to be quoted.

Memoized normalize_inner that caches by TyRef identity.

Apply a substitution to normalize vars, using a pre-built substitution map.

Normalize path components (`.`, `..`) without any syscalls. Safe when `base_dir` is already canonical — the joined path won't contain symlinks that w

Normalize all ty vars to start from 0 instead of the original indices.

Lower is better. Used to classify changes as regressions vs improvements.

Count the total number of attrset fields reachable from an OutputTy. Used to decide whether a Frozen lambda body is "large" enough to warrant lazy dec

Compare two paths for equality, using canonicalization when possible.

Pre-apply type annotations and context args on the entry expression's Lambda pattern fields. This runs before SCC groups so that parameter types (e.g.

Scan context args for type alias references and preload their module stubs from `builtin_stubs_dir`. Context files like `nixos.tix` declare `val pkgs

Spread free type variables across attrset fields (for PBT code generation). Each field gets unique type variable numbering.

Replace the type alias registry and re-analyze all open files. Used when stubs configuration changes at runtime.

Remove the file's signature from the coordinator (called on `didClose`). Returns the paths of files that depended on this stub.

Render diagnostics for a single file. Returns `(error_count, warning_count)`.

Replace a Variable entry with a Concrete entry in-place. The TyId remains valid — all existing references (bounds, caches) that point to this slot no

Resolve context args for a file from the project's tix.toml config.

Check whether a lambda expression has a `/** context: <name> */` doc comment annotation. If so, load the named context's stubs and return the arg→type

Resolve a field name through barrel re-exports transitively. Starting from `target_path`, finds the name matching `field_name` and checks if it's bou

Get the HEAD commit SHA for a repo.

Resolve a Nix path string to an actual `.nix` file on disk. Handles Nix's directory-import convention: if the path points to a directory, tries `<dir

Resolve a NixSource to a concrete filesystem path.

Compute the result primitive for two numeric operands. Float wins over Int; Number stays Number unless a Float is present.

Resolve the tix binary's Nix store path. If the binary is at `/nix/store/<hash>-tix/bin/tix`, returns `/nix/store/<hash>-tix`. Returns `None` if not

Walk lower bounds transitively to find a Concrete entry and return its TyId. Used to resolve partial-application result variables (which point to a La

Chase a set expression to the NameId it ultimately references. Handles the common patterns: - `lib.field` where `lib` is a Reference -> resolves to

Canonical root directory path (resolves symlinks).

Returns the current RSS (Resident Set Size) in bytes, or None if unavailable.

Run partial inference on SCC groups 0..=`stop_after_group` and return the inferred types for `target_names` as portable `OwnedTy` values. Used by the

Run a tix command with a timeout. Returns captured output.