type_Main.html
1 <html><head> 2 <link rel="stylesheet" href="style.css" type="text/css"> 3 <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"> 4 <meta name="viewport" content="width=device-width, initial-scale=1"> 5 <link rel="Start" href="index.html"> 6 <link title="Index of modules" rel=Appendix href="index_modules.html"> 7 <link title="Main" rel="Chapter" href="Main.html"><title>Main</title> 8 </head> 9 <body> 10 <code class="code"><span class="keyword">sig</span> <span class="keyword">end</span></code></body></html>