Snippets of code can be extracted from interpolated specification strings.
When you want to specify that a piece of code must be included in the specification output, you can use the snippet
method to execute a this code and use the text in the output. If you just want to output part of the code you need to
delimit it with some comments // 8<------- (with as many dashes >= 2 as you want)
Generally the value of a snippet will not be evaluated nor displayed but it is possible to show it using the eval
method on a Snippet.
It is also possible to check that the result value is correct by using the check method.
implicit function modify the Snippet parameters
implicit parameters selected for the creation of Snippets