<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    What exactly are the semantics of #:at inside a #:literal-sets ([x
    #:at y]) ?<br>
    <br>
    From the docs "
    <meta http-equiv="content-type" content="text/html;
      charset=ISO-8859-1">
    <span style="color: rgb(0, 0, 0); font-family: serif; font-style:
      normal; font-variant: normal; font-weight: normal; letter-spacing:
      normal; line-height: normal; orphans: 2; text-align: left;
      text-indent: 0px; text-transform: none; white-space: normal;
      widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto;
      -webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
      255); font-size: medium; display: inline !important; float: none;
      ">If the<span class="Apple-converted-space">&nbsp;</span></span><span
      class="RktPn" style="font-family: monospace; white-space: normal;
      color: rgb(132, 60, 36); font-style: normal; font-variant: normal;
      font-weight: normal; letter-spacing: normal; line-height: normal;
      orphans: 2; text-align: left; text-indent: 0px; text-transform:
      none; widows: 2; word-spacing: 0px; -webkit-text-size-adjust:
      auto; -webkit-text-stroke-width: 0px; background-color: rgb(255,
      255, 255); ">#:at</span><span style="color: rgb(0, 0, 0);
      font-family: serif; font-style: normal; font-variant: normal;
      font-weight: normal; letter-spacing: normal; line-height: normal;
      orphans: 2; text-align: left; text-indent: 0px; text-transform:
      none; white-space: normal; widows: 2; word-spacing: 0px;
      -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); font-size: medium; display:
      inline !important; float: none; "><span
        class="Apple-converted-space">&nbsp;</span>keyword is given, the
      lexical context of the<span class="Apple-converted-space">&nbsp;</span></span><span
      class="RktVar" style="font-family: monospace; white-space: normal;
      color: rgb(38, 38, 128); font-style: italic; font-variant: normal;
      font-weight: normal; letter-spacing: normal; line-height: normal;
      orphans: 2; text-align: left; text-indent: 0px; text-transform:
      none; widows: 2; word-spacing: 0px; -webkit-text-size-adjust:
      auto; -webkit-text-stroke-width: 0px; background-color: rgb(255,
      255, 255); ">lctx</span><span style="color: rgb(0, 0, 0);
      font-family: serif; font-style: normal; font-variant: normal;
      font-weight: normal; letter-spacing: normal; line-height: normal;
      orphans: 2; text-align: left; text-indent: 0px; text-transform:
      none; white-space: normal; widows: 2; word-spacing: 0px;
      -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); font-size: medium; display:
      inline !important; float: none; "><span
        class="Apple-converted-space">&nbsp;</span>term is used to determine
      which identifiers in the patterns are treated as literals;". In
      what way is 'lctx' used?<br>
    </span>
  </body>
</html>