Basic injection queries for Quint (#13322)

gruhn · web-flow · commit 340934db92ae · 2025-04-11T10:31:57.000-05:00
diff --git a/runtime/queries/quint/injections.scm b/runtime/queries/quint/injections.scm
@@ -0,0 +1,2 @@
+((comment) @injection.content
+ (#set! injection.language "comment"))

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+((comment) @injection.content`
	`2`	`+ (#set! injection.language "comment"))`