Skip to main content

Module ir

Module ir 

Source

Structs§

Annotation
Renderer-visible metadata attached to a projected diff node by a rule pack.
Changeset
A structured description of how to get from one snapshot to the next.
DetailBlock
Renderer-visible, bounded evidence attached to a diff node.
DetailExample
One bounded example inside a detail block.
Diagnostic
DiffNode
A node in the projected diff tree — the durable changeset structure consumed by renderers, serializers, and bindings.
ExtractHint
Pointer to an extract aspect that can return exhaustive content.
GlobalClaim
Reserved run-scoped claim slot.
Source
Renderer-visible provenance for a projected diff node.
Summary
A structured, render-ready one-line summary: an ordered list of typed Segments.
ValuePreview
A bounded preview of one value in a detail example.

Enums§

DiagnosticSeverity
Segment
One piece of a Summary.
Side
Which snapshot a Segment::Path resolves in.