Skip to content
SJON

acyclic_without_self_edge

(cross-ref … :acyclic true) declared on a kind that can’t form cycles.

Run sjon explain acyclic_without_self_edge to read this at a terminal, browse every code, or work through diagnostics-driven repair if you want the habit rather than the answer.