
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Dafny Documentation for Test Doc</title>
<link rel="icon" type="image/png" href="dafny-favicon.png">
<meta name="description" content="Documentation for Dafny code produced by dafnydoc">
<meta name="author" content="dafnydoc">
<link rel="stylesheet" href="styles.css"/>
<script type="text/javascript">
  window.onload = function() {

    document.getElementById("_").oncli