ck = function() {
      document.getElementById("rightside").innerHTML = '<iframe id="frame" width="100%" height="1000" style="border:none; scrolling:no;" src="__95.html"></iframe>';
      return false;
    }

  }
</script>
</head>
<div class="topheading">
<h1>Dafny Documentation for Test Doc</h1>
</div>
<body>
<div id="rightside" class="rightside">
</div>

<div class="sidenav">
<span style="font-size:24px;"><b>Declarations</b></span><br>
<details open  style="margin-left: 0px;"><summary><a id="_" href="__9