Skip to content

Commit c6488c0

Browse files
committed
Added helpful comment for ~dump
1 parent 8733a6d commit c6488c0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/develop/func/stdlib.mdx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -641,7 +641,7 @@ Debug primitives can be used for inspecting state of various variables while run
641641
forall X -> () ~dump(X value) impure asm "s0 DUMP";
642642
```
643643

644-
Outputs a value.
644+
Outputs a value. Several values can be dumped as a tuple, e.g. `~dump([v1, v2, v3])`.
645645

646646
#### ~strdump
647647

0 commit comments

Comments
 (0)