Skip to content

Console — inline

The call rendered as an editable formula: type into intersects( A , B ) and the = true result and witness update live, calculator-style.

intersects(,)=true
witness(a, b)="src/api/a.ts"— a concrete path both match