/usr/share/doc/racket/redex/doc-index.html is in racket-doc 6.1-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"/><title>Index</title><link rel="stylesheet" type="text/css" href="../scribble.css" title="default"/><link rel="stylesheet" type="text/css" href="../racket.css" title="default"/><link rel="stylesheet" type="text/css" href="../manual-style.css" title="default"/><link rel="stylesheet" type="text/css" href="../manual-racket.css" title="default"/><link rel="stylesheet" type="text/css" href="../doc-site.css" title="default"/><script type="text/javascript" src="../scribble-common.js"></script><script type="text/javascript" src="../manual-racket.js"></script><script type="text/javascript" src="../doc-site.js"></script><script type="text/javascript" src="../local-redirect/local-redirect.js"></script><script type="text/javascript" src="../local-redirect/local-user-redirect.js"></script><!--[if IE 6]><style type="text/css">.SIEHidden { overflow: hidden; }</style><![endif]--></head><body id="doc-racket-lang-org"><div class="tocset"><div class="tocview"><div class="tocviewlist tocviewlisttopspace"><div class="tocviewtitle"><table cellspacing="0" cellpadding="0"><tr><td style="width: 1em;"><a href="javascript:void(0);" title="Expand/Collapse" class="tocviewtoggle" onclick="TocviewToggle(this,"tocview_0");">▼</a></td><td></td><td><a href="index.html" class="tocviewlink" data-pltdoc="x">Redex:<span class="mywbr"> </span> Practical Semantics Engineering</a></td></tr></table></div><div class="tocviewsublistonly" style="display: block;" id="tocview_0"><table cellspacing="0" cellpadding="0"><tr><td align="right">1 </td><td><a href="tutorial.html" class="tocviewlink" data-pltdoc="x">Amb:<span class="mywbr"> </span> A Redex Tutorial</a></td></tr><tr><td align="right">2 </td><td><a href="The_Redex_Reference.html" class="tocviewlink" data-pltdoc="x">The Redex Reference</a></td></tr><tr><td align="right">3 </td><td><a href="benchmark.html" class="tocviewlink" data-pltdoc="x">Automated Testing Benchmark</a></td></tr><tr><td align="right"></td><td><a href="" class="tocviewselflink" data-pltdoc="x">Index</a></td></tr></table></div></div></div></div><div class="maincolumn"><div class="main"><div class="navsettop"><span class="navleft"><form class="searchform"><input class="searchbox" style="color: #888;" type="text" value="...search manuals..." title="Enter a search string to search the manuals" onkeypress="return DoSearchKey(event, this, "6.1", "../");" onfocus="this.style.color="black"; this.style.textAlign="left"; if (this.value == "...search manuals...") this.value="";" onblur="if (this.value.match(/^ *$/)) { this.style.color="#888"; this.style.textAlign="center"; this.value="...search manuals..."; }"/></form> <a href="../index.html" title="up to the documentation top" data-pltdoc="x" onclick="return GotoPLTRoot("6.1");">top</a></span><span class="navright"> <a href="benchmark.html" title="backward to "3 Automated Testing Benchmark"" data-pltdoc="x">← prev</a> <a href="index.html" title="up to "Redex: Practical Semantics Engineering"" data-pltdoc="x">up</a> <span class="nonavigation">next →</span></span> </div><h3 x-source-module="(lib "redex/redex.scrbl")" x-part-tag=""doc-index""><a name="(part._doc-index)"></a>Index</h3><table cellspacing="0" cellpadding="0"><tr><td><p><a href="#alpha:A">A</a> <a href="#alpha:B">B</a> <a href="#alpha:C">C</a> <a href="#alpha:D">D</a> <a href="#alpha:E">E</a> <a href="#alpha:F">F</a> <a href="#alpha:G">G</a> <a href="#alpha:H">H</a> <a href="#alpha:I">I</a> <a href="#alpha:J">J</a> <span class="nonavigation">K</span> <a href="#alpha:L">L</a> <a href="#alpha:M">M</a> <a href="#alpha:N">N</a> <a href="#alpha:O">O</a> <a href="#alpha:P">P</a> <span class="nonavigation">Q</span> <a href="#alpha:R">R</a> <a href="#alpha:S">S</a> <a href="#alpha:T">T</a> <a href="#alpha:U">U</a> <a href="#alpha:V">V</a> <a href="#alpha:W">W</a> <span class="nonavigation">X</span> <span class="nonavigation">Y</span> <span class="nonavigation">Z</span> </p></td></tr><tr><td><p> </p></td></tr><tr><td><p><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._--~3e%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink"><span class="nobreak">--></span></span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._~3a~3a~3d%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">::=</span></span><br/></a><a href="The_Redex_Reference.html#%28tech.__%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">_</span></span><br/></a><a name="alpha:A"></a><span><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._all-mods%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym">all-mods</span><br/></a></span><a href="tutorial.html" class="indexlink" data-pltdoc="x">Amb: A Redex Tutorial<br/></a><a href="The_Redex_Reference.html#%28tech._any%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">any</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._apply-reduction-relation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">apply-reduction-relation</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._apply-reduction-relation%2A%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">apply-reduction-relation*</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._apply-reduction-relation%2Ftag-with-names%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">apply-reduction-relation/tag-with-names</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._arrow-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">arrow->pict</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._arrow-space%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">arrow-space</span></span><br/></a><a href="benchmark.html" class="indexlink" data-pltdoc="x">Automated Testing Benchmark<br/></a><a name="alpha:B"></a><span><a href="benchmark.html#%28part._.Benchmark_.Models%29" class="indexlink" data-pltdoc="x">Benchmark Models<br/></a></span><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._benchmark-logging-to%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">benchmark-logging-to</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._bind%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">bind</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._bind-exp%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">bind-exp</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._bind-name%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">bind-name</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._bind~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">bind?</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._bmark-log-data%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">bmark-log-data</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._bmark-log-data-data%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">bmark-log-data-data</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._bmark-log-data~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">bmark-log-data?</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._bmark-log-directory%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">bmark-log-directory</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._boolean%29" class="indexlink" data-pltdoc="x"><span class="RktSym">boolean</span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._build-derivations%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">build-derivations</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._build-lw%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">build-lw</span></span><br/></a><a name="alpha:C"></a><span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._caching-enabled~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">caching-enabled?</span></span><br/></a></span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._check-metafunction%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">check-metafunction</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._check-reduction-relation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">check-reduction-relation</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._check-redudancy%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">check-redudancy</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._compatible-closure%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">compatible-closure</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._compiled-lang~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">compiled-lang?</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._context-closure%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">context-closure</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._counterexample%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">counterexample</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._counterexample-term%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">counterexample-term</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._counterexample~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">counterexample?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._coverage~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">coverage?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._covered-cases%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">covered-cases</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._cros%29" class="indexlink" data-pltdoc="x"><span class="RktSym">cross</span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._curly-quotes-for-strings%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">curly-quotes-for-strings</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._current-cache-all~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">current-cache-all?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._current-text%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">current-text</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._current-traced-metafunctions%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">current-traced-metafunctions</span></span><br/></a><a href="The_Redex_Reference.html#%28part._.Customization%29" class="indexlink" data-pltdoc="x">Customization<br/></a><a name="alpha:D"></a><span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._dark-brush-color%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">dark-brush-color</span></span><br/></a></span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._dark-pen-color%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">dark-pen-color</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._dark-text-color%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">dark-text-color</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._debugging._plt._redex._program%29" class="indexlink" data-pltdoc="x"><span style="font-style: italic">Debugging PLT Redex Programs</span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._default-attempt-size%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">default-attempt-size</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._default-check-attempts%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">default-check-attempts</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._default-equiv%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">default-equiv</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._default-font-size%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">default-font-size</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._default-pretty-printer%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">default-pretty-printer</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._default-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">default-style</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-extended-judgment-form%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-extended-judgment-form</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-extended-language%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-extended-language</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-judgment-form%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-judgment-form</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-language%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-language</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-metafunction%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-metafunction</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-metafunction%2Fextension%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-metafunction/extension</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-relation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-relation</span></span><br/></a><a href="benchmark.html#%28form._%28%28lib._redex%2Fbenchmark..rkt%29._define-rewrite%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-rewrite</span></span><br/></a><a href="benchmark.html#%28form._%28%28lib._redex%2Fbenchmark..rkt%29._define-rewrite%2Fcompose%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-rewrite/compose</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-term%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-term</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._define-union-language%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">define-union-language</span></span><br/></a><a href="tutorial.html#%28part._.Defining_a_.Language%29" class="indexlink" data-pltdoc="x">Defining a Language<br/></a><a href="tutorial.html#%28part._.Defining_a_.Reduction_.Relation%29" class="indexlink" data-pltdoc="x">Defining a Reduction Relation<br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._delimit-ellipsis-arguments~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">delimit-ellipsis-arguments?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._derivation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">derivation</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._derivation-name%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">derivation-name</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._derivation-subs%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">derivation-subs</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._derivation-term%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">derivation-term</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._derivation%2Fps%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">derivation/ps</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._derivation~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">derivation?</span></span><br/></a><a name="alpha:E"></a><span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._exn~3afail~3aredex~3ageneration-failure~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">exn:fail:redex:generation-failure?</span></span><br/></a></span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._exn~3afail~3aredex~3atest%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">exn:fail:redex:test</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._exn~3afail~3aredex~3atest-source%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">exn:fail:redex:test-source</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._exn~3afail~3aredex~3atest-term%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">exn:fail:redex:test-term</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._exn~3afail~3aredex~3atest~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">exn:fail:redex:test?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._exn~3afail~3aredex~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">exn:fail:redex?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._extend-language-show-extended-order%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">extend-language-show-extended-order</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._extend-language-show-union%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">extend-language-show-union</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._extend-reduction-relation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">extend-reduction-relation</span></span><br/></a><a name="alpha:F"></a><span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._fresh%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">fresh</span></span><br/></a></span><a name="alpha:G"></a><span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._generate-term%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">generate-term</span></span><br/></a></span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._grammar-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">grammar-style</span></span><br/></a><a href="The_Redex_Reference.html#%28part._.G.U.I%29" class="indexlink" data-pltdoc="x">GUI<br/></a><a name="alpha:H"></a><span><a href="The_Redex_Reference.html#%28tech._hide._hole%29" class="indexlink" data-pltdoc="x"><span class="RktSym">hide-hole</span><br/></a></span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._hole%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">hole</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._hole%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">hole</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._horizontal-bar-spacing%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">horizontal-bar-spacing</span></span><br/></a><a name="alpha:I"></a><span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._.I%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">I</span></span><br/></a></span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._in-domain~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">in-domain?</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._in-hole%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">in-hole</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._in._hole%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">in-hole</span></span><br/></a><a href="benchmark.html#%28form._%28%28lib._redex%2Fbenchmark..rkt%29._include%2Frewrite%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">include/rewrite</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._initial-char-width%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">initial-char-width</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._initial-font-size%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">initial-font-size</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._integer%29" class="indexlink" data-pltdoc="x"><span class="RktSym">integer</span><br/></a><a name="alpha:J"></a><span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._judgment-form-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">judgment-form->pict</span></span><br/></a></span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._judgment-form-cases%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">judgment-form-cases</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._judgment-holds%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">judgment-holds</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._just-after%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">just-after</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._just-before%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">just-before</span></span><br/></a><a name="alpha:L"></a><span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._label-font-size%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">label-font-size</span></span><br/></a></span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._label-space%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">label-space</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._label-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">label-style</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._language-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">language->pict</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._language-nts%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">language-nts</span></span><br/></a><a href="The_Redex_Reference.html#%28part._.Languages%29" class="indexlink" data-pltdoc="x">Languages<br/></a><a href="The_Redex_Reference.html#%28tech._lc._lang%29" class="indexlink" data-pltdoc="x"><span style="font-style: italic"><span class="RktVar">lc-lang</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._light-brush-color%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">light-brush-color</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._light-pen-color%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">light-pen-color</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._light-text-color%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">light-text-color</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._linebreaks%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">linebreaks</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._literal-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">literal-style</span></span><br/></a><a href="benchmark.html#%28part._log%29" class="indexlink" data-pltdoc="x">Logging<br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw->pict</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw-column%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw-column</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw-column-span%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw-column-span</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw-e%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw-e</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw-line%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw-line</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw-line-span%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw-line-span</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw-metafunction~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw-metafunction?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw-unq~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw-unq?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._lw~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">lw?</span></span><br/></a><a href="The_Redex_Reference.html#%28part._.L.Ws%29" class="indexlink" data-pltdoc="x">LWs<br/></a><a name="alpha:M"></a><span><a href="The_Redex_Reference.html#%28part._.Macros_and_.Typesetting%29" class="indexlink" data-pltdoc="x">Macros and Typesetting<br/></a></span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._make-bind%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">make-bind</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._make-counterexample%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">make-counterexample</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._make-coverage%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">make-coverage</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._make-derivation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">make-derivation</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._make-exn~3afail~3aredex~3atest%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">make-exn:fail:redex:test</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._make-lw%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">make-lw</span></span><br/></a><a href="benchmark.html#%28part._manage%29" class="indexlink" data-pltdoc="x">Managing Benchmark Modules<br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._match-bindings%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">match-bindings</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._match~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">match?</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._metafunction-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">metafunction->pict</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._metafunction-cases%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">metafunction-cases</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._metafunction-font-size%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">metafunction-font-size</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._metafunction-pict-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">metafunction-pict-style</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._metafunction-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">metafunction-style</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._metafunctions-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">metafunctions->pict</span></span><br/></a><a name="alpha:N"></a><span><a href="The_Redex_Reference.html#%28tech._name%29" class="indexlink" data-pltdoc="x"><span class="RktSym">name</span><br/></a></span><a href="The_Redex_Reference.html#%28tech._natural%29" class="indexlink" data-pltdoc="x"><span class="RktSym">natural</span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._non-terminal-gap-space%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">non-terminal-gap-space</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._non-terminal-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">non-terminal-style</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._non-terminal-subscript-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">non-terminal-subscript-style</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._non-terminal-superscript-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">non-terminal-superscript-style</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._number%29" class="indexlink" data-pltdoc="x"><span class="RktSym">number</span><br/></a><a name="alpha:O"></a><span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._.O%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">O</span></span><br/></a></span><a href="The_Redex_Reference.html#%28part._.Other_.Relations%29" class="indexlink" data-pltdoc="x">Other Relations<br/></a><a name="alpha:P"></a><span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._paren-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">paren-style</span></span><br/></a></span><a href="The_Redex_Reference.html#%28tech._pattern%29" class="indexlink" data-pltdoc="x"><span style="font-style: italic">pattern</span><br/></a><a href="The_Redex_Reference.html#%28tech._pattern._sequence%29" class="indexlink" data-pltdoc="x"><span class="RktSym">pattern-sequence</span><br/></a><a href="The_Redex_Reference.html#%28part._.Patterns%29" class="indexlink" data-pltdoc="x">Patterns<br/></a><a href="The_Redex_Reference.html#%28part._.Picts__.P.D.F____.Post.Script%29" class="indexlink" data-pltdoc="x">Picts, PDF, & PostScript<br/></a><a href="benchmark.html#%28part._.Plotting%29" class="indexlink" data-pltdoc="x">Plotting<br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._plug%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">plug</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._pretty-print-parameters%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">pretty-print-parameters</span></span><br/></a><a name="alpha:R"></a><span><a href="tutorial.html#%28part._.Random_.Testing%29" class="indexlink" data-pltdoc="x">Random Testing<br/></a></span><a href="The_Redex_Reference.html#%28tech._real%29" class="indexlink" data-pltdoc="x"><span class="RktSym">real</span><br/></a><a href="The_Redex_Reference.html" class="indexlink" data-pltdoc="x"><span class="RktModLink"><span class="RktSym">redex</span></span><br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._10._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, variable-prefix<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._11._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, variable-not-otherwise-mentioned<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._9._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, variable-except<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._8._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, variable<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._13._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, symbol<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._6._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, string<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._17._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, side-condition<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._5._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, real<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._19._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, pattern-sequence<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._2._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, number<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._3._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, natural<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._14._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, name<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._4._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, integer<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._15._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, in-hole<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._12._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, hole<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._16._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, hide-hole<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._18._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, cross<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._7._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, boolean<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._0._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, any<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._1._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x">Redex Pattern, _<br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._redex-check%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">redex-check</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._redex-generator%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">redex-generator</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._redex-let%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">redex-let</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._redex-let%2A%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">redex-let*</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._redex-match%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">redex-match</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._redex-match~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">redex-match?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._redex-pseudo-random-generator%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">redex-pseudo-random-generator</span></span><br/></a><a href="benchmark.html" class="indexlink" data-pltdoc="x"><span class="RktModLink"><span class="RktSym">redex/benchmark</span></span><br/></a><a href="The_Redex_Reference.html#%28mod-path._redex%2Fgui%29" class="indexlink" data-pltdoc="x"><span class="RktModLink"><span class="RktSym">redex/gui</span></span><br/></a><a href="The_Redex_Reference.html#%28mod-path._redex%2Fpict%29" class="indexlink" data-pltdoc="x"><span class="RktModLink"><span class="RktSym">redex/pict</span></span><br/></a><a href="The_Redex_Reference.html#%28mod-path._redex%2Freduction-semantics%29" class="indexlink" data-pltdoc="x"><span class="RktModLink"><span class="RktSym">redex/reduction-semantics</span></span><br/></a><a href="index.html" class="indexlink" data-pltdoc="x">Redex: Practical Semantics Engineering<br/></a><a href="The_Redex_Reference.html#%28part._.Reduction_.Relations%29" class="indexlink" data-pltdoc="x">Reduction Relations<br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._reduction-relation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">reduction-relation</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._reduction-relation-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">reduction-relation->pict</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._reduction-relation-~3erule-names%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">reduction-relation->rule-names</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._reduction-relation-rule-separation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">reduction-relation-rule-separation</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._reduction-relation~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">reduction-relation?</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._reduction-rule-style%2Fc%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">reduction-rule-style/c</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._reduction-steps-cutoff%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">reduction-steps-cutoff</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._relation-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">relation->pict</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._relation-clauses-combine%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">relation-clauses-combine</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._relation-coverage%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">relation-coverage</span></span><br/></a><a href="The_Redex_Reference.html#%28part._pink%29" class="indexlink" data-pltdoc="x">Removing the Pink Background<br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._render-judgment-form%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">render-judgment-form</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._render-language%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">render-language</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._render-language-nts%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">render-language-nts</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._render-lw%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">render-lw</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._render-metafunction%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">render-metafunction</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._render-metafunctions%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">render-metafunctions</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._render-reduction-relation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">render-reduction-relation</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._render-reduction-relation-rules%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">render-reduction-relation-rules</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._render-relation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">render-relation</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._render-term%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">render-term</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._render-term%2Fpretty-write%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">render-term/pretty-write</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._rule-pict-style%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">rule-pict-style</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._run-gen-and-check%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">run-gen-and-check</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._run-gen-and-check%2Fmods%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">run-gen-and-check/mods</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._run-results%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">run-results</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._run-results-cexps%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">run-results-cexps</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._run-results-time%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">run-results-time</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._run-results-tries%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">run-results-tries</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._run-results~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">run-results?</span></span><br/></a><a href="benchmark.html#%28part._run%29" class="indexlink" data-pltdoc="x">Running Benchmark Models<br/></a><a name="alpha:S"></a><span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._set-arrow-pict%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-arrow-pict!</span></span><br/></a></span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._set-cache-size%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-cache-size!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._set-lw-column%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-lw-column!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._set-lw-column-span%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-lw-column-span!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._set-lw-e%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-lw-e!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._set-lw-line%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-lw-line!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._set-lw-line-span%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-lw-line-span!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._set-lw-metafunction~3f%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-lw-metafunction?!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._set-lw-unq~3f%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">set-lw-unq?!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._show-derivations%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">show-derivations</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._side._condition%29" class="indexlink" data-pltdoc="x"><span class="RktSym">side-condition</span><br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._20._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym">side-condition</span> clause<br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._21._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym">side-condition/hidden</span> clause<br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._stepper%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">stepper</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._stepper%2Fseed%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">stepper/seed</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._string%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">string</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._struct~3abind%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">struct:bind</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._struct~3abmark-log-data%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">struct:bmark-log-data</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._struct~3acounterexample%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">struct:counterexample</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._struct~3aderivation%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">struct:derivation</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._struct~3aexn~3afail~3aredex~3atest%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">struct:exn:fail:redex:test</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._struct~3alw%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">struct:lw</span></span><br/></a><a href="benchmark.html#%28def._%28%28lib._redex%2Fbenchmark..rkt%29._struct~3arun-results%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">struct:run-results</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._symbol%29" class="indexlink" data-pltdoc="x"><span class="RktSym">symbol</span><br/></a><a name="alpha:T"></a><span><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._term%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">term</span></span><br/></a></span><a href="The_Redex_Reference.html#%28tech._term%29" class="indexlink" data-pltdoc="x"><span style="font-style: italic">term</span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._term-~3epict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">term->pict</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._term-~3epict%2Fpretty-write%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term->pict/pretty-write</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._term-let%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">term-let</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._term-match%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">term-match</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._term-match%2Fsingle%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">term-match/single</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-children%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-children</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-color%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-color</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-expr%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-expr</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-height%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-height</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-labels%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-labels</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-parents%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-parents</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-set-color%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-set-color!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-set-position%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-set-position!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-set-red%21%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-set-red!</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-width%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-width</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-x%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-x</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node-y%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node-y</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._term-node~3f%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">term-node?</span></span><br/></a><a href="The_Redex_Reference.html#%28part._.Terms%29" class="indexlink" data-pltdoc="x">Terms<br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._test--~3e%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">test--></span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._test--~3e~3e%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">test-->></span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._test--~3e~3e.E%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">test-->>E</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._test--~3e~3e~e2~88~83%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">test-->>∃</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._test-equal%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">test-equal</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._test-predicate%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">test-predicate</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._test-results%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">test-results</span></span><br/></a><a href="The_Redex_Reference.html#%28part._.Testing%29" class="indexlink" data-pltdoc="x">Testing<br/></a><a href="tutorial.html#%28part._.Testing_.Reduction_.Relations%29" class="indexlink" data-pltdoc="x">Testing Reduction Relations<br/></a><a href="tutorial.html#%28part._.Testing_.Typing%29" class="indexlink" data-pltdoc="x">Testing Typing<br/></a><a href="The_Redex_Reference.html" class="indexlink" data-pltdoc="x">The Redex Reference<br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._to-lw%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">to-lw</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._to-lw%2Fstx%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">to-lw/stx</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._traces%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">traces</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._traces%2Fps%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">traces/ps</span></span><br/></a><a href="The_Redex_Reference.html#%28part._.Typesetting%29" class="indexlink" data-pltdoc="x">Typesetting<br/></a><a href="tutorial.html#%28part._.Typesetting_the_.Reduction_.Relation%29" class="indexlink" data-pltdoc="x">Typesetting the Reduction Relation<br/></a><a href="tutorial.html#%28part._.Typing%29" class="indexlink" data-pltdoc="x">Typing<br/></a><a name="alpha:U"></a><span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._union-reduction-relations%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">union-reduction-relations</span></span><br/></a></span><a name="alpha:V"></a><span><a href="The_Redex_Reference.html#%28tech._variable%29" class="indexlink" data-pltdoc="x"><span class="RktSym">variable</span><br/></a></span><a href="The_Redex_Reference.html#%28tech._variable._except%29" class="indexlink" data-pltdoc="x"><span class="RktSym">variable-except</span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._variable-not-in%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">variable-not-in</span></span><br/></a><a href="The_Redex_Reference.html#%28tech._variable._not._otherwise._mentioned%29" class="indexlink" data-pltdoc="x"><span class="RktSym">variable-not-otherwise-mentioned</span><br/></a><a href="The_Redex_Reference.html#%28tech._variable._prefix%29" class="indexlink" data-pltdoc="x"><span class="RktSym">variable-prefix</span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Freduction-semantics..rkt%29._variables-not-in%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">variables-not-in</span></span><br/></a><a name="alpha:W"></a><span><a href="The_Redex_Reference.html#%28tech._where._clause%29" class="indexlink" data-pltdoc="x"><span style="font-style: italic"><span class="RktSym">where</span> clause</span><br/></a></span><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._where-combine%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">where-combine</span></span><br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._where-make-prefix-pict%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">where-make-prefix-pict</span></span><br/></a><a href="The_Redex_Reference.html#%28idx._%28gentag._22._%28lib._redex%2Fredex..scrbl%29%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym">where/hidden</span> clause<br/></a><a href="The_Redex_Reference.html#%28def._%28%28lib._redex%2Fpict..rkt%29._white-bracket-sizing%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktValLink">white-bracket-sizing</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Freduction-semantics..rkt%29._with%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">with</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._with-atomic-rewriter%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">with-atomic-rewriter</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._with-compound-rewriter%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">with-compound-rewriter</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._with-compound-rewriters%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">with-compound-rewriters</span></span><br/></a><a href="The_Redex_Reference.html#%28form._%28%28lib._redex%2Fpict..rkt%29._with-unquote-rewriter%29%29" class="indexlink" data-pltdoc="x"><span class="RktSym"><span class="RktStxLink">with-unquote-rewriter</span></span><br/></a></p></td></tr></table><div class="navsetbottom"><span class="navleft"><form class="searchform"><input class="searchbox" style="color: #888;" type="text" value="...search manuals..." title="Enter a search string to search the manuals" onkeypress="return DoSearchKey(event, this, "6.1", "../");" onfocus="this.style.color="black"; this.style.textAlign="left"; if (this.value == "...search manuals...") this.value="";" onblur="if (this.value.match(/^ *$/)) { this.style.color="#888"; this.style.textAlign="center"; this.value="...search manuals..."; }"/></form> <a href="../index.html" title="up to the documentation top" data-pltdoc="x" onclick="return GotoPLTRoot("6.1");">top</a></span><span class="navright"> <a href="benchmark.html" title="backward to "3 Automated Testing Benchmark"" data-pltdoc="x">← prev</a> <a href="index.html" title="up to "Redex: Practical Semantics Engineering"" data-pltdoc="x">up</a> <span class="nonavigation">next →</span></span> </div></div></div><div id="contextindicator"> </div></body></html>
|