global.html

<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="utf-8">
    <title>No names predeclared in Source</title>
    <link rel="shortcut icon"
	  type="image/x-icon"
	  href="/images/sourcepower.ico" />
    <script src="scripts/prettify/prettify.js"> </script>
    <script src="scripts/prettify/lang-css.js"> </script>
    <!--[if lt IE 9]>
      <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
    <![endif]-->
    <link type="text/css" rel="stylesheet" href="styles/prettify-tomorrow.css">
    <link type="text/css" rel="stylesheet" href="styles/jsdoc-default.css">
</head>

<body>

<div id="main">

    <h1 class="page-title">No names predeclared in <a href=".">Source</a></h1>

    <!-- changed by MH on 1/7/2019 from default template. See "MH" below -->
<!-- changed by MH on 3/6/2021 from default template. See "MH" below -->


<section>

<header>
    
        <h2></h2>
        
    
</header>

<article>
    <div class="container-overview">
    
        
<dl class="details">

    
</dl>


    </div>

    
</article>

</section>


</div>

<nav>
    
</nav>

<br class="clear">

<footer>
  generated by <a href="https://github.com/jsdoc/jsdoc">JSDoc 3.6.11</a> from
  <a href="https://github.com/source-academy/js-slang">Github repository js-slang</a>
  on Sun Mar 02 2025 14:09:58 GMT+0000 (Coordinated Universal Time)
</footer>

<script> prettyPrint(); </script>
<script src="scripts/linenumber.js"> </script>
</body>
</html>