diff options
| author |  Arthur A. Gleckler
| 2022-09-19 17:22:10 -0700 |
|---|---|---|
| committer | Arthur A. Gleckler
| 2022-09-19 17:22:10 -0700 |
| commit | ab3338e212a931f0fb9d2ca563b4df1f345a76f2 (patch) | |
| tree | 16d006249dccbee4bcd1bd46ca9e74d508aef5d8 | |
| parent | Use HTML entity ⇒ for double right arrow. (diff) | |
Add example.
| -rw-r--r-- | srfi-225.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/srfi-225.html b/srfi-225.html index 47f8e10..ba655d9 100644 --- a/srfi-225.html +++ b/srfi-225.html @@ -125,6 +125,8 @@ is the relevant one.</p> <p id="dict-purep"><code>(dict-pure?</code> <em>dto dict</em><code>)</code></p> The <em>dict</em> argument is required for the sake of uniformity with other generic procedures, but it can have any value.</p> +<blockquote><pre> +(dict-pure? dto dict) ⇒ #t</pre></blockquote> <h3 id="accessors">Accessors</h3> <p><code>(dict-ref</code> <em>dto dict key</em> [<em>failure</em> [<em>success</em>] ]<code>)</code></p> <p>If <em>key</em> is the same as some key of <em>dict</em>, then invokes <em>success</em> |